Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
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.
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2022-09-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/9975 |