Unified Correspondence
From MaRDI portal
Publication:5249695
DOI10.1007/978-3-319-06025-5_36zbMath1344.03023OpenAlexW4242798172MaRDI QIDQ5249695
Alessandra Palmigiano, Willem Conradie, Silvio Ghilardi
Publication date: 11 May 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_36
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Linear Logic Properly Displayed, Syntactic Completeness of Proper Display Calculi, Probabilistic Epistemic Updates on Algebras, Algebraic modal correspondence: Sahlqvist and beyond, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, Rough concepts, Correspondence theory for generalized modal algebras, Labelled calculi for lattice-based modal logics, Subordination algebras as semantic environment of input/output logic, Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}, Unnamed Item, Algorithmic correspondence for intuitionistic modal mu-calculus, The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms, Tracking Information, Canonical extensions: an algebraic approach to Stone duality, INSTANTIAL NEIGHBOURHOOD LOGIC, Algorithmic correspondence and canonicity for non-distributive logics, Unnamed Item, The bounded proof property via step algebras and step frames, Unnamed Item, Categories: How I Learned to Stop Worrying and Love Two Sorts, Hyper-MacNeille completions of Heyting algebras, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Bilattice logic properly displayed, Unnamed Item, Logic and Probabilistic Update, Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$