Unified correspondence
The present chapter is aimed at giving a conceptual exposition of the mathematical
principles underlying Sahlqvist correspondence theory. These principles are argued to be …
principles underlying Sahlqvist correspondence theory. These principles are argued to be …
[PDF][PDF] Multi-type display calculus for propositional dynamic logic
arXiv:1805.09144v1 [math.LO] 18 May 2018 Page 1 arXiv:1805.09144v1 [math.LO] 18 May
2018 Multi-type display calculus for Propositional Dynamic Logic Sabine Frittella* Giuseppe …
2018 Multi-type display calculus for Propositional Dynamic Logic Sabine Frittella* Giuseppe …
[HTML][HTML] Algebraic modal correspondence: Sahlqvist and beyond
The present paper proposes a new introductory treatment of the very well known Sahlqvist
correspondence theory for classical modal logic. The first motivation for the present …
correspondence theory for classical modal logic. The first motivation for the present …
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
S Frittella, A Palmigiano… - Journal of Logic and …, 2017 - academic.oup.com
We establish a formal connection between algorithmic correspondence theory and certain
dual characterization results for finite lattices, similar to Nation's characterization of a …
dual characterization results for finite lattices, similar to Nation's characterization of a …
[PDF][PDF] Algebraic canonicity in non-classical logics
Z Zhao - 2013 - eprints.illc.uva.nl
This thesis is a study of the notion of canonicity (as is understood eg in modal logic) from an
algebraic viewpoint. The main conceptual contribution of this thesis is a better …
algebraic viewpoint. The main conceptual contribution of this thesis is a better …