Abstract:
We investigate the question of unification in the linear modal logic on non-transitive time with the universal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the unifiable formulas are proved. An algorithm for construction the most general unifier is found.
Received: 05.08.2017 Received in revised form: 10.09.2017 Accepted: 20.10.2017
Bibliographic databases:
Document Type:
Article
UDC:510.643
Language: English
Citation:
Stepan I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, J. Sib. Fed. Univ. Math. Phys., 11:1 (2018), 3–9
\Bibitem{Bas18}
\by Stepan~I.~Bashmakov
\paper Unification in linear modal logic on non-transitive time with the universal modality
\jour J. Sib. Fed. Univ. Math. Phys.
\yr 2018
\vol 11
\issue 1
\pages 3--9
\mathnet{http://mi.mathnet.ru/jsfu585}
\crossref{https://doi.org/10.17516/1997-1397-2018-11-1-3-9}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000431379500001}
Linking options:
https://www.mathnet.ru/eng/jsfu585
https://www.mathnet.ru/eng/jsfu/v11/i1/p3
This publication is cited in the following 3 articles:
S. I. Bashmakov, T. Yu. Zvereva, “Lineinaya stupenchataya logika znaniya $\mathcal{LTK}.{sl}$”, Sib. elektron. matem. izv., 20:2 (2023), 1361–1373
Stepan I. Bashmakov, Tatyana Yu. Zvereva, “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality”, B Sect Log, 51:3 (2022), 345
S. I. Bashmakov, “Unification in pretabular extensions of S4”, Log Universalis, 15:3 (2021), 381–397
Citation in format AMSBIB
Contact us: