Rules with parameters in modal logic. I.

DOI10.1016/J.APAL.2015.04.004zbMath1408.03015arXiv1305.4912OpenAlexW1571731646MaRDI QIDQ2346953

Emil Jeřábek

Publication date: 26 May 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.4912

zbMATH Keywords

modal logicadmissible ruleequational unification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Free algebras (08B20) Intermediate logics (03B55)

Related Items (5)

About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Rules with parameters in modal logic. II. ⋮ On the proof complexity of logics of bounded branching ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical equations and admissible rules of inference with parameters in modal provability logics
• Complexity of admissible rules
• Residuated lattices. An algebraic glimpse at substructural logics
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Substitution Frege and extended Frege proof systems in non-classical logics
• Proof theory for admissible rules
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Equations in free topoboolean algebra
• Admissibility of logical inference rules
• Best solving modal equations
• On the rules of intermediate logics
• Frege systems for extensible modal logics
• The theory of well-quasi-ordering: a frequently discovered concept
• On the admissible rules of intuitionistic propositional logic
• Unification in modal and description logics
• Independent Bases of Admissible Rules
• Canonical rules
• Unification in intuitionistic logic
• On Finite Model Property for Admissible Rules
• Logics containing K4. Part I
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Writing out unifiers for formulas with coefficients in intuitionistic logic
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Filtering unification and most general unifiers in modal logic
• Admissible Rules of Modal Logics
• A(nother) characterization of intuitionistic propositional logic

This page was built for publication: Rules with parameters in modal logic. I.