The Modelwise Interpolation Property of Semantic Logics
From MaRDI portal
Publication:6119356
DOI10.18778/0138-0680.2023.09MaRDI QIDQ6119356
Zalán Gyenis, Unnamed Author, Unnamed Author
Publication date: 29 February 2024
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fregean logics
- Consequence and interpolation in Łukasiewicz logic
- Logical matrices and the amalgamation property
- Introduction: Interpolations -- essays in honor of William Craig
- Amalgamation and interpolation in normal modal logics
- Modal languages and bounded fragments of predicate logic
- Interpolation and amalgamation; pushing the limits. I
- Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
- Universal algebraic logic. Dedicated to the unity of science
- Amalgamation and interpolation in ordered algebras.
- Uniform interpolation and compact congruences
- Amalgamation, congruence-extension, and interpolation properties in algebras
- The Robinson property and amalgamations of higher arities
- Mathematical Problems from Applied Logic II
- Algebraizable logics
- On Moschovakis closure ordinals
- Algebraic Characterization of the Local Craig Interpolation Property
- Interpolation property and homogeneous structures
- On weak and strong interpolation in algebraic logics
This page was built for publication: The Modelwise Interpolation Property of Semantic Logics