Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Stepan I. Bashmakov"'
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 3, Pp 345-361 (2022)
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 p
Externí odkaz:
https://doaj.org/article/182fa597d83d4f739a56d644f17e021c
Autor:
Stepan I. Bashmakov
Publikováno v:
Journal of Siberian Federal University. Mathematics & Physics. 11:3-9
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4253b6f74f02bd412931a8422a10af54
https://doi.org/10.17516/1997-1397-2018-11-1-3-9
https://doi.org/10.17516/1997-1397-2018-11-1-3-9
Autor:
Stepan I. Bashmakov
We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f618c5ccc1cbce4e823edbca9442b62
https://openrepository.ru/article?id=755484
https://openrepository.ru/article?id=755484
