Rules with parameters in modal logic. I.
From MaRDI portal
Publication:2346953
DOI10.1016/J.APAL.2015.04.004zbMath1408.03015arXiv1305.4912OpenAlexW1571731646MaRDI QIDQ2346953
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
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.
