Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

Abstract

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

Keywords

• multi-agent system
• kripke semantic
• unification
• modal logic
• non-transitive time
• step-like
• universal modality
• finite model property
• p-morphism