Unified inverse correspondence for LE-logics

DOI10.1016/J.APAL.2025.103635MaRDI QIDQ6912203zbMATH OpenFDO

Authors Alessandra Palmigiano

Publication date 23 October 2025

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.2025.103635

zbMATH Keywords

inverse correspondenceKracht's theoryLE-logicsnon-classical logicsunified correspondence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60) Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Cites work

• A formalization of the propositional calculus of H-B logic
• A Sahlqvist theorem for distributive modal logic
• Algorithmic correspondence and canonicity for distributive modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Algorithmic correspondence for intuitionistic modal mu-calculus
• An extension of Kracht's theorem to generalized Sahlqvist formulas
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Constructive canonicity for lattice-based fixed point logics
• Constructive canonicity of inductive inequalities
• Description logic for rough concepts
• Elementary canonical formulae: extending Sahlqvist's theorem
• Generalized Kripke frames
• scientific article; zbMATH DE number 3652493 (Why is no real title available?)
• scientific article; zbMATH DE number 50169 (Why is no real title available?)
• Modal definability of first-order formulas with free variables and query answering
• Modal inverse correspondence via ALBA
• Modal logic
• Modal reduction principles across relational semantics
• Non-distributive description logic
• Non-distributive logics: from semantics to meaning
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• On logics with coimplication
• On modal logic with an intuitionistic base
• On Sahlqvist theory for hybrid logics
• Polynomial-time checking of generalized Sahlqvist syntactic shape
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuation algebras with functional duals
• Rough concepts
• Sahlqvist correspondence for modal mu-calculus
• Sahlqvist theory for impossible worlds
• Second-order quantifier elimination. Foundations, computational aspects and applications
• Semantic analysis of orthologic
• Semi-de Morgan algebras
• Stone duality, topological algebra, and recognition.
• Symmetric categorial grammar
• Syntactic Completeness of Proper Display Calculi
• Unified correspondence
• Unified correspondence as a proof-theoretic tool

This page was built for publication: Unified inverse correspondence for LE-logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6912203)