Admissible inference rules and semantic property of modal logics

DOI10.26516/1997-7670.2021.37.104OpenAlexW3200344736MaRDI QIDQ823963

Vitaliĭ Valentinovich Rimatskiĭ

Publication date: 14 December 2021

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

Full work available at URL: http://mathizv.isu.ru/en/article/file?id=1388

zbMATH Keywords

modal logicadmissible inference ruleframe and model Kripkeweak co-cover property

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Relative consistency and interpretations (03F25)

Related Items (1)

Globally admissible inference rules

Cites Work

• Unnamed Item
• Unnamed Item
• Intermediate logics and Visser's rules
• The deducibilities of S5
• Derivability of admissible rules
• Admissibility of logical inference rules
• On the admissible rules of intuitionistic propositional logic
• Construction of an Explicit Basis for Rules Admissible in Modal System S4
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Admissible Rules of Modal Logics
• A(nother) characterization of intuitionistic propositional logic

This page was built for publication: Admissible inference rules and semantic property of modal logics