Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality-Reference-Cited by-同舟云学术

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

Published:2022-09-09 Issue:3 Volume:51 Page:345-361
ISSN:2449-836X
Container-title:Bulletin of the Section of Logic
language:
Short-container-title:B Sect Log

Author:

Bashmakov Stepan I.^ORCID,Zvereva Tatyana Yu.^ORCID

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.

Funder

Ministry of Science and Higher Education of the Russian Federation

Publisher

Uniwersytet Lodzki (University of Lodz)

Subject

Logic,Philosophy

Reference20 articles.

1. S. I. Bashmakov, Unification and inference rules in the multi-modal logic of knowledge and linear time LTK, Journal of Siberian Federal University. Mathematics & Physics, vol. 9(2) (2016), pp. 149–157, DOI: https://doi.org/10.17516/1997-1397-2016-9-2-149-157

2. S. I. Bashmakov, Unification in linear modal logic on non-transitive time with the universal modality, Journal of Siberian Federal University. Mathematics & Physics, vol. 11(1) (2018), pp. 3–9, DOI: https://doi.org/10.17516/1997-1397-2018-11-1-3-9

3. S. I. Bashmakov, Unification in linear multi-modal logic of knowledge and non-transitive time, [in:] Handbook of the 6th World Congress and School on Universal Logic, Vichy, France, Université Clermont Auvergne (2018), pp. 229–231, URL: https://hal-centralesupelec.archives-ouvertes.fr/hal-01812182/file/handbook-unilog2018-web_19-6-2018.pdf

4. S. I. Bashmakov, Unification in pretabular extensions of S4, Logica Universalis, vol. 15 (2021), pp. 381–397, DOI: https://doi.org/10.1007/s11787-021-00287-0

5. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, Non-unifiability in linear temporal logic of knowledge with multi-agent relations, Siberian Electronic Mathematical Reports, vol. 13 (2016), pp. 656–663, DOI: https://doi.org/10.17377/semi.2016.13.052

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relational Version of the Multi-agent Computation Tree Logic $\mathcal{CTLK}$;The Bulletin of Irkutsk State University. Series Mathematics;2024

2. LINEAR STEP LOGIC KNOWLEDGE LTK.sl;SIB ELECTRON MATH RE;2023