Independent Bases of Admissible Rules

DOI10.1093/jigpal/jzn004zbMath1146.03008WikidataQ56474453 ScholiaQ56474453MaRDI QIDQ3508162

Emil Jeřábek

Publication date: 27 June 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/5efa6c04d4061d9c93cb9cb972c6a5aef0d59bea

zbMATH Keywords

modal logic; independent basis; intuitionistic logic; admissible rule; GL; S4; K4; transitive logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B55: Intermediate logics

Related Items

Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, Multiple Conclusion Rules in Logics with the Disjunction Property, Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK, Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality, Admissibility and unification in the modal logics related to S4.2, Admissible inference rules of modal WCP-logics, An explicit basis for \textit{WCP}-globally admissible inference rules, On rules, Admissible bases via stable canonical rules, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Best unifiers in transitive modal logics, Unification in linear temporal logic LTL, Multiagent temporal logics with multivaluations, Admissibility in positive logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), On the proof complexity of logics of bounded branching, Multi-agent logics with multi-valuations and intensional logical operations, Inference rules in Nelson's logics, admissibility and weak admissibility, Rules with parameters in modal logic. I., Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES, Canonical rules