Independent Bases of Admissible Rules

DOI10.1093/jigpal/jzn004zbMath1146.03008OpenAlexW2108252992WikidataQ56474453 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 logicindependent basisintuitionistic logicadmissible ruleGLS4K4transitive logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

On rules, Multiagent temporal logics with multivaluations, Multiple Conclusion Rules in Logics with the Disjunction Property, Admissible bases via stable canonical rules, Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Admissibility in positive logics, 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, Multi-agent logics with multi-valuations and intensional logical operations, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Best unifiers in transitive modal logics, Unification in linear temporal logic LTL, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES, Canonical rules, On the proof complexity of logics of bounded branching, 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, Inference rules in Nelson's logics, admissibility and weak admissibility, Rules with parameters in modal logic. I.