Admissibility of $\Pi_2$-Inference Rules: interpolation, model completion, and contact algebras

DOI10.1016/J.APAL.2022.103169arXiv2201.06076MaRDI QIDQ6388374

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi

Publication date: 16 January 2022

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)

This page was built for publication: Admissibility of $\Pi_2$-Inference Rules: interpolation, model completion, and contact algebras