Modal reduction principles across relational semantics

DOI10.1016/J.FSS.2024.108892MaRDI QIDQ6932753zbMATH OpenFDO

Authors Willem Conradie, Andrea de Domenico, Krishna Manoorkar, Alessandra Palmigiano, Daira Pinto Prieto, Apostolos Tzimoulis

Publication date 8 September 2025

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.FSS.2024.108892

zbMATH Keywords

correspondence theoryformal concept analysismany-valued modal logicmodal logicmodal reduction principlesrough set theorySahlqvist theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Knowledge representation (68T30)

Cites work

• A formalization of the propositional calculus of H-B logic
• A new proof of Sahlqvist's theorem on modal definability and completeness
• A Sahlqvist theorem for distributive modal logic
• Algebraic modal correspondence: Sahlqvist and beyond
• Algorithmic correspondence and analytic rules
• 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
• Bounded lattice expansions
• Categories: how I learned to stop worrying and love two sorts
• Coalgebraic Correspondence Theory
• Coalgebraic semantics of modal logics: an overview
• Constructive canonicity in non-classical logics
• Constructive canonicity of inductive inequalities
• Elementary canonical formulae: extending Sahlqvist's theorem
• Frame definability in finitely valued modal logics
• Fuzzy Galois Connections
• Heterogeneous algebras
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 1735886 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• scientific article; zbMATH DE number 757642 (Why is no real title available?)
• Logics for rough concept analysis
• Modal reduction principles
• Modelling informational entropy
• Modelling socio-political competition
• Non-distributive logics: from semantics to meaning
• On logics with coimplication
• On modal logic with an intuitionistic base
• On Sahlqvist theory for hybrid logics
• On the canonicity of Sahlqvist identities
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Rough concepts
• Sahlqvist theory for impossible worlds
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Semantic analysis of orthologic
• Semi-de Morgan algebras
• Slanted canonicity of analytic inductive inequalities
• Symmetric categorial grammar
• Syntactic Completeness of Proper Display Calculi
• The Goldblatt-Thomason Theorem for Coalgebras
• Unified correspondence
• Unified correspondence as a proof-theoretic tool
• Untersuchungen über das Eliminationsproblem der mathematischen Logik.

Cited in

(2)

• Unified inverse correspondence for LE-logics
• Description logic for rough concepts

This page was built for publication: Modal reduction principles across relational semantics

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