Return to Article Details Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality Download Download PDF