Abstract
We obtain a necessary condition and a sufficient condition for the admissibility of inference rules of the linear multi-modal logic of knowledge and time LTK r with reflexive and intransitive time relation. We also construct a special n-characterizing model for this logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Fagin R., Halpern J. Y., Moses Y., and Vardi M. Y., Reasoning About Knowledge, MIT Press, Cambridge (1995).
Thomason R. H., “Combination of tense and modality,” in: Handbook of Philosophical Logic. Vol. II (D. Gabbay, F. Guenthner (Eds.)), Reidel, Dordrecht, 1984, pp. 135–165.
Gabbay D., Kurucz A., Wolter F., and Zakharyaschev M., Many-Dimensional Modal Logics: Theory and Applications, Elsevier and North-Holland, New York and Amsterdam (2003) (Stud. Logic Found. Math.; V. 148).
Halpern J. Y., van der Meyden R., and Vardi M. Y., “Complete axiomatization for reasoning about knowledge and time,” SIAM J. Comput., 33, No. 3, 674–703 (2004).
Lorenzen P., Einführung in die operative Logik und Mathematik, Springer-Verlag, Berlin, Göttingen, and Heidelberg (1955).
Harrop R., “Concerning formulas of the types A → B ∨ C, A → ∃xB(x) in intuitionistic formal systems,” J. Symbolic Logic, 25, No. 1, 27–32 (1960).
Fridman H., “One hundred and two problems in mathematical logic,” J. Symbolic Logic, 40, No. 3, 113–130 (1975).
Rybakov V. V., “A criterion for admissibility of rules in the model system S4 and the intuitionistic logic,” Algebra and Logic, 23, No. 5, 369–384 (1984).
Rybakov V. V., “Bases of admissible rules of the logics,” Algebra and Logic, 24, No. 1, 55–68 (1985).
Rybakov V. V., Admissibility of Logical Inference Rules, Elsevier, New York and Amsterdam (1997). (Stud. Logic Found. Math., 136.)
Ghilardi S., “Unification in intuitionistic logic,” J. Symbolic Logic, 64, No. 2, 859–880 (1999).
Rybakov V., “Projective formulas and unification in linear temporal logic LTL U,” Logic J. IGPL, 22, No. 4, 665–672 (2014).
Odintsov S. and Rybakov V., “Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic IPC+,” Ann. Pure Appl. Logic, 164, No. 7, 771–784 (2013).
Rybakov V., “Writing out unifiers for formulas with coefficients in intuitionistic logic,” Logic J. IGPL, 21, No. 2, 187–198 (2013).
Rybakov V., “Unifiers in transitive modal logics for formulas with coefficients (meta-variables),” Logic J. IGPL, 21, No. 2, 205–215 (2013).
Rybakov V., “Multi-agent logic based on temporary logic TS4K n serving web search,” KES, 243, 108–117 (2012).
Golovanov M., Kosheleva A., and Rybakov V., “Logic of visibility, perception, and knowledge and admissible inference rules,” Logic J. IGPL, 13, No. 2, 201–209 (2005).
Calardo E., “Admissible inference rules in the linear logic of knowledge and time LTK,” Logic J. IGPL, 14, No. 1, 15–34 (2006).
Lukyanchuk A., “Decidability of multi-modal logic LTK of linear time and knowledge,” J. Siberian Federal Univ. Math. Phys., 6, No. 2, 220–226 (2013).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2015 Luk’yanchuk A.N. and Rybakov V.V.
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 56, No. 3, pp. 573–593, May–June, 2015; DOI: 10.17377/smzh.2015.56.309.
Rights and permissions
About this article
Cite this article
Luk’yanchuk, A.N., Rybakov, V.V. Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation. Sib Math J 56, 455–470 (2015). https://doi.org/10.1134/S003744661503009X
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S003744661503009X