Unifiability in extensions of K4

DOI10.1093/JIGPAL/JZN032MaRDI QIDQ3625492zbMATH OpenOpenAlexFDO

Authors Çiğdem Gencer, Dick H. J. de Jongh

Publication date 5 May 2009

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

Full work available at URL https://doi.org/10.1093/jigpal/jzn032

zbMATH Keywords

closed formulamodal logicprovability logicunificationunifieruniversal model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Filtering unification and most general unifiers in modal logic
• Unification in first-order transitive modal logic
• Elementary unification in modal logic \(KD45\)
• Undecidability of the unification and admissibility problems for modal and description logics
• Remarks about the unification types of some locally tabular normal modal logics

Cited in

(15)

• More on \(d\)-logics of subspaces of the rational numbers
• Rules with parameters in modal logic. II.
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Contact logic is finitary for unification with constants
• Admissibility and Unifiability in Contact Logics
• scientific article; zbMATH DE number 2015273 (Why is no real title available?)
• Unification in epistemic logics
• KD is nullary
• Undecidability of the unification and admissibility problems for modal and description logics
• Unifiability in relation algebras and in products of S5
• Elementary unification in modal logic \(KD45\)
• Notes on my scientific life
• About the unification types of modal logics
• Undecidability of admissibility in the product of two \textbf{Alt} logics
• Unification problem in Nelson's logic \(\mathbf{N4}\)

This page was built for publication: Unifiability in extensions of K4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3625492)