Abstract
We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent basis for the admissible rules of these logics. The resulting basis consists of an infinite sequence of rules in compact and simple form.
References
Harrop R., “Concerning formulas of the types \( A\to B\vee C \), \( A\to\exists xB(x) \),” J. Symb. Log., vol. 26, no. 1, 27–32 (1960).
Mints G.E., “Derivability of admissible rules,” J. Soviet Math., vol. 6, no. 4, 417–421 (1976).
Port J., “The deducibilities of S5,” J. Philos. Logic, vol. 10, no. 4, 409–422 (1981).
Lorenzen P., Einfung in Operative Logik und Mathematik, Springer, Berlin, Gottingen, and Heidelberg (1955).
Fridman H., “One hundred and two problems in mathematical logic,” J. Symb. Log., vol. 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 Logic, vol. 23, no. 5, 369–384 (1984).
Rybakov V.V., Admissibility of Logical Inference Rules, Elsevier Sci. Publ., New York and Amsterdam (1997) (Stud. Logic Found. Math.; vol. 136).
Tsitkin A.I., “Admissible rules of intuitionistic propositional logic,” Math. USSR-Sb., vol. 31, no. 2, 279–288 (1977).
Rybakov V.V., “Bases of admissible rules of the logics S4 and Int,” Algebra Logic, vol. 24, no. 1, 55–68 (1984).
Rimatskii V.V., “Finite bases with respect to admissibility for modal logics of width 2,” Algebra Logic, vol. 38, no. 4, 237–247 (1999).
Rimatskii V.V., “Explicit basis for admissible rules in \( K \)-saturated tabular logics,” Diskr. Mat., vol. 34, no. 1, 126–140 (2022).
Rybakov V.V., Terziler M., and Rimatskiy V.V., “Basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC,” Math. Logic Quart., vol. 46, no. 2, 207–218 (2000).
Rybakov V.V., Terziler M., and Genzer C., “An essay on unification and inference rules for modal logic,” Bull. Sect. Logic, vol. 28, no. 3, 145–157 (1999).
Iemhoff R., “On the admissible rules of Intuitionistic Propositional Logic,” J. Symb. Log., vol. 66, no. 2, 281–294 (2001).
Rybakov V.V., “Construction of an explicit basis for rules admissible in modal system S4,” Math. Logic Quart., vol. 47, no. 4, 441–451 (2001).
Jeřábek E., “Admissible rules of modal logics,” J. Logic Comput., vol. 15, no. 4, 411–431 (2005).
Jeřábek E., “Independent bases of admissible rules,” Logic J. IGPL, vol. 16, no. 3, 249–267 (2008).
Fedorishin B.R., “An explicit basis for the admissible inference rules in the Gödel–Löb logic GL,” Sib. Math. J., vol. 45, no. 2, 339–345 (2007).
Rimatsky V.V., “An explicit basis for admissible rules of modal logics of finite width,” J. Sib. Fed. Univ., no. 1, 85–93 (2008).
Acknowledgment
The author is grateful the referee, whose comments and suggestions helped to improve the text substantially.
Funding
The work was supported by the Russian Science Foundation (Grant no. 23–21–00213).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
As author of this work, I declare that I have no conflicts of interest.
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2024, Vol. 65, No. 1, pp. 180–197. https://doi.org/10.33048/smzh.2024.65.114
Publisher's Note
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Rimatskiy, V.V. Admissible Inference Rules of Modal WCP-Logics. Sib Math J 65, 153–166 (2024). https://doi.org/10.1134/S0037446624010142
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446624010142