Admissible inference rules of modal WCP-logics

DOI10.1134/S0037446624010142OpenAlexW4391620352MaRDI QIDQ6193927

No author found.

Publication date: 14 February 2024

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446624010142

zbMATH Keywords

modal logicKripke modelKripke framebasis of admissible rulesadmissible inference rule

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Proof theory and constructive mathematics (03Fxx)

Cites Work

• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Bases of admissible rules of the logics S4 and Int
• 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
• Independent Bases of Admissible Rules
• One hundred and two problems in mathematical logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Admissible Rules of Modal Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Admissible inference rules of modal WCP-logics