Uniform interpolation and coherence

DOI10.1016/J.APAL.2019.02.004MaRDI QIDQ1740631zbMATH OpenOpenAlexFDO

Authors Tomasz Kowalski, George Metcalfe

Publication date 2 May 2019

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

Full work available at URL https://arxiv.org/abs/1803.09116, https://boris.unibe.ch/127735/

zbMATH Keywords

coherencefree algebrasmodal logicsresiduated latticescanonical extensionsuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Complete lattices, completions (06B23) Subalgebras, congruence relations (08A30) Free algebras (08B20) Logical aspects of lattices and related structures (03G10)

Recommendations

• Coherence in modal logic
• Uniform interpolation and compact congruences
• Uniformity of congruences in coherent varieties
• Uniform interpolation in coalgebraic modal logic
• scientific article; zbMATH DE number 4154514

Cites work

• scientific article; zbMATH DE number 4010501 (Why is no real title available?)
• scientific article; zbMATH DE number 3654194 (Why is no real title available?)
• scientific article; zbMATH DE number 98757 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• scientific article; zbMATH DE number 1416396 (Why is no real title available?)
• scientific article; zbMATH DE number 3430852 (Why is no real title available?)
• scientific article; zbMATH DE number 6287564 (Why is no real title available?)
• scientific article; zbMATH DE number 3254928 (Why is no real title available?)
• A characterization of companionable, universal theories
• ALGORITHMIC PROBLEMS IN VARIETIES
• Algebraically complete lattices
• Amalgamation and interpolation in ordered algebras.
• Amalgamation, congruence-extension, and interpolation properties in algebras
• An algebraic theory of normal forms
• Analytic cut and interpolation for bi-intuitionistic logic
• Bounded lattice expansions
• Canonical extensions, Esakia spaces, and universal models
• Discriminator varieties of double-Heyting algebras
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Model completions and r-Heyting categories
• Model-companions and definability in existentially complete structures
• Model-completions and modules
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On the canonicity of Sahlqvist identities
• Residuated lattices. An algebraic glimpse at substructural logics
• Semisimple varieties of modal algebras
• Sentential logics and Maehara interpolation property
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Subdirect decompositions of lattices of width two
• Subgroups of finitely presented groups
• Undefinability of propositional quantifiers in the modal system S4
• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• Uniform interpolation and compact congruences
• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation for coalgebraic fixpoint logic
• Uniform interpolation in substructural logics
• Uniformity of congruences

Cited in

(9)

• Deciding dependence in logic and algebra
• Theorems of Alternatives for Substructural Logics
• Combined covers and Beth definability
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
• Uniform interpolation and coherence
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Combination of uniform interpolants via Beth definability

This page was built for publication: Uniform interpolation and coherence

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