Independent Bases of Admissible Rules
From MaRDI portal
Publication:3508162
DOI10.1093/jigpal/jzn004zbMath1146.03008OpenAlexW2108252992WikidataQ56474453 ScholiaQ56474453MaRDI QIDQ3508162
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
Related Items (22)
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.
This page was built for publication: Independent Bases of Admissible Rules