Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
Author(s): Stepan I. Bashmakov, Tatyana Yu. ZverevaSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: multi-agent system; Kripke semantic; unification; modal logic; non-transitive time; step-like; universal modality; finite model property; p-morphism
Summary/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.
Journal: Bulletin of the Section of Logic
- Issue Year: 51/2022
- Issue No: 3
- Page Range: 345-361
- Page Count: 17
- Language: English
