The many faces of interpolation
From MaRDI portal
Publication:1024113
DOI10.1007/s11229-008-9351-5zbMath1168.03020OpenAlexW2096617793MaRDI QIDQ1024113
Publication date: 16 June 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-008-9351-5
Related Items
Model theoretical aspects of weakly aggregative modal logic, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Uniform guarded fragments, Craig interpolation for networks of sentences, The Lyndon property and uniform interpolation over the Grzegorczyk logic, Through an Inference Rule, Darkly, Beth definability, interpolation and language splitting, Towards a functional approach to modular ontologies using institutions, Multicomponent proof-theoretic method for proving interpolation properties
Cites Work
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
- The variety of consequence, according to Bolzano
- Modal languages and bounded fragments of predicate logic
- Characterizations of negative definability in modal logic
- On characterizability in Lω1ω0
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Interpolation for extended modal languages
- Lindstrom theorems for fragments of first-order logic
- The metatheory of the classical propositional calculus is not axiomatizable
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Probabilities on finite models
- Interpolation, preservation, and pebble games
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- On Extensions of Elementary Logic
- Minimal predicates, fixed-points, and definability
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item