Finitary unification in locally tabular modal logics characterized

DOI10.1016/j.apal.2021.103072OpenAlexW4200178196MaRDI QIDQ2667999

Sławomir Kost, Piotr Wojtylak, Wojciech Dzik

Publication date: 3 March 2022

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

Full work available at URL: https://doi.org/10.1016/j.apal.2021.103072

zbMATH Keywords

modal logicunificationKripke modellocally tabular logicunification types

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Heyting algebras (lattice-theoretic aspects) (06D20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A syntactic approach to unification in transitive reflexive modal logics
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Notes on modal definability
• Pretabular varieties of modal algebras
• Best solving modal equations
• Pretabular superintuitionistic logic
• Modal consequence relations extending S4.3: an application of projective unification
• Unification in modal and description logics
• Projective unification in modal logic
• Blending margins: the modal logic K has nullary unification type
• Five critical modal systems
• Unification in intuitionistic logic
• Unification through projectivity
• KD is nullary
• Projective unification in transitive modal logics
• Filtering unification and most general unifiers in modal logic
• The Logics Containing S 4.3