Geodesic
Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 17 (2024) no. 3, pp. 347-354.

Voir la notice de l'article provenant de la source Math-Net.Ru

We investigates non-transitive temporal logic with the "tomorrow" operator. In this logic, the operator "necessary" $\Box$ coincides with the operator “possible” $\Diamond$ (or almost coincides in reflexive case). In addition to the basic properties of the reflexive non-transitive logic ${{\mathcal L}}^r$ (decidability, finite approximability), admissible rules of this logic are investigated. The main result consists in proving the structural completeness of this logic and its tabular extensions.
Keywords: modal logic, frame and model Kripke, admissible and globally admissible inference rule. 
@article{JSFU_2024_17_3_a5,
     author = {Vitaliy V. Rimatsky and Olga V. Ganchukova},
     title = {Admissible inference rules of temporal intransitive logic with the operator "tomorrow"},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {347--354},
     publisher = {mathdoc},
     volume = {17},
     number = {3},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2024_17_3_a5/}
}
TY  - JOUR
AU  - Vitaliy V. Rimatsky
AU  - Olga V. Ganchukova
TI  - Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2024
SP  - 347
EP  - 354
VL  - 17
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2024_17_3_a5/
LA  - en
ID  - JSFU_2024_17_3_a5
ER  - 
%0 Journal Article
%A Vitaliy V. Rimatsky
%A Olga V. Ganchukova
%T Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2024
%P 347-354
%V 17
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2024_17_3_a5/
%G en
%F JSFU_2024_17_3_a5
Vitaliy V. Rimatsky; Olga V. Ganchukova. Admissible inference rules of temporal intransitive logic with the operator "tomorrow". Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 17 (2024) no. 3, pp. 347-354. http://geodesic.mathdoc.fr/item/JSFU_2024_17_3_a5/

[1] P.Lorenzen, Einfung in Operative Logik und Mathematik, Berlin-Gottingen-Heidelberg, 1955 | MR

[2] H.Fridman, “One hundred and two problems in mathematical logic”, Journal of Symbolic Logic, 40:3 (1975), 113–130 | DOI | MR

[3] G.E.Mints, “Derivability of admissible rules”, J. Soviet Mathematics, 6:4 (1976), 417–421 | DOI | Zbl

[4] V.V.Rybakov, “Criterion for the admissibility of inference rules in the modal system S4 and intuitionistic logic H”, Algebra and logic, 23:5 (1984), 369–384 | DOI | MR | Zbl

[5] V.V.Rybakov, Admissibility of logical inference rules, Studies in Logic and Foundations of Mathematics, 136, Elsevier Sci. Publ., New-York–Amsterdam, 1997 | MR | Zbl

[6] A.I.Tsitkin, “On admissible rules of intuitionistic propositional logic”, Mat. collection, 102:2 (1977), 314–323 | MR | Zbl

[7] V.V.Rybakov, “Basis for admissible rules of logic S4 and intuitionistic logic H”, Algebra and Logic, 24:4 (1985), 55–68 (in Russian) | DOI | MR | Zbl

[8] V.V.Remazki, “Basis in Semi-Redused Form for the Admissible Rules of the Intuitionistc”, Logic IPC. Mathematical Logic Quarterly, 46:2 (2000), 207–218 | 3.0.CO;2-E class='badge bg-secondary rounded-pill ref-badge extid-badge'>DOI | MR | Zbl

[9] R.Iemhoff, “On the admissible rules of Intuitionistic Propositional Logic”, Journal of Symbolic Logic, 66:2 (2001), 281–294 | DOI | MR | Zbl

[10] V.V.Rybakov, “Construction of an Explicit Basis for Rules admissible in Modal system S4”, Mathematical Logic Quarterly, 4 (2001), 441–451 | 3.0.CO;2-J class='badge bg-secondary rounded-pill ref-badge extid-badge'>DOI | MR

[11] V.V.Rimatsky, “An explicit basis for admissible rules for the derivation of logics of finite width”, SFU Journal, 2008, no. 1, 85–93 (in Russian) | MR

[12] V.V.Rimatsky, “Globally admissible inference rules”, Journal of Irkutsk State University. Mathematics series, 42:39 (2022), 38–140 | DOI | MR

[13] M.I.Golovanov, V.V.Rybakov, Y E.M.urasova, “A necessary condition for rules to be admissible in temporal tomorrow-logic”, Bulletin of the section of Logic, 32:4 (2003), 213–220 | MR | Zbl

[14] M.I.Golovanov, E.M.Yurasova, Criterion for the admissibility of logic inference rules with the operator “tomorrow”, Dep. at VINITI 22.10.2004, No 1654-B2004, Krasn. State University, Krasnoyarsk, 2004 (in Russian)