Unifiability in extensions of K4
From MaRDI portal
Publication:3625492
DOI10.1093/JIGPAL/JZN032zbMath1170.03009OpenAlexW2100224970MaRDI QIDQ3625492
Çiğdem Gencer, Dick H. J. de Jongh
Publication date: 5 May 2009
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzn032
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (6)
Admissibility and Unifiability in Contact Logics ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ Contact Logic is Finitary for Unification with Constants ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ More on \(d\)-logics of subspaces of the rational numbers
This page was built for publication: Unifiability in extensions of K4
