Sahlqvist theory for impossible worlds

DOI10.1093/logcom/exw014zbMath1444.03070arXiv1603.08202OpenAlexW2334111423MaRDI QIDQ2983397

Zhiguang Zhao, Sumit Sourabh, Alessandra Palmigiano

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

epistemic logicalgorithmic correspondencealgebraic Sahlqvist canonicityLemmon's logics E2-E5regular inductive formulas and inequalitiesregular modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Linear Logic Properly Displayed, Probabilistic Epistemic Updates on Algebras, Algebraic modal correspondence: Sahlqvist and beyond, Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2, THE LOGIC OF RESOURCES AND CAPABILITIES, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, Algorithmic correspondence and canonicity for non-distributive logics, Correspondence, canonicity, and model theory for monotonic modal logics, Unnamed Item, Categories: How I Learned to Stop Worrying and Love Two Sorts, Unnamed Item, Proper multi-type display calculi for rough algebras

Uses Software

• SQEMA