Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras

DOI10.1016/j.apal.2022.103169OpenAlexW4285811081MaRDI QIDQ2084960

Silvio Ghilardi, Lucia Landi, Luca Carai, Nick Bezhanishvili

Publication date: 14 October 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

interpolationadmissibilitycontact algebrasuniform interpolationmodel completionsnon-standard rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proximity structures and generalizations (54E05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Stone duality and Gleason covers through de Vries duality
• Decidability for branching time
• Interpolation theorems in modal logics. Sufficient conditions
• Model theory.
• Discriminator varieties and symbolic computation
• Model-companions and definability in existentially complete structures
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Uniform interpolation and coherence
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• A strict implication calculus for compact Hausdorff spaces
• Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
• Unification in modal and description logics
• Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
• Admissibility and Unifiability in Contact Logics
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• The modal logic of inequality
• Derivation rules as anti-axioms in modal logic
• Model-completion of varieties of co-Heyting algebras
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
• Undecidability of the unification and admissibility problems for modal and description logics
• Substructural fuzzy logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item