The many faces of interpolation
From MaRDI portal
Publication:1024113
DOI10.1007/S11229-008-9351-5zbMATH Open1168.03020OpenAlexW2096617793MaRDI QIDQ1024113FDOQ1024113
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
Recommendations
- scientific article; zbMATH DE number 3876457
- Interpolation with multiplicities
- scientific article; zbMATH DE number 3927549
- Multidimensional methods of interpolation
- scientific article
- scientific article; zbMATH DE number 3905146
- scientific article; zbMATH DE number 5270106
- Interpolation†
- Interpolation
- Interpolation
Cites Work
- Probabilities on finite models
- Modal languages and bounded fragments of predicate logic
- Modal logics and mu-calculi: An introduction
- Title not available (Why is that?)
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Title not available (Why is that?)
- Interpolation for extended modal languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Extensions of Elementary Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Minimal predicates, fixed-points, and definability
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Interpolation, preservation, and pebble games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- Title not available (Why is that?)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
- Inference in action
- Lindstrom theorems for fragments of first-order logic
- The variety of consequence, according to Bolzano
- Characterizations of negative definability in modal logic
- Title not available (Why is that?)
- On characterizability in Lω1ω0
- The metatheory of the classical propositional calculus is not axiomatizable
- Title not available (Why is that?)
Cited In (11)
- Beth definability, interpolation and language splitting
- Model theoretical aspects of weakly aggregative modal logic
- Towards a functional approach to modular ontologies using institutions
- Through an Inference Rule, Darkly
- Uniform guarded fragments
- The Lyndon property and uniform interpolation over the Grzegorczyk logic
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Craig interpolation for decidable first-order fragments
- Multicomponent proof-theoretic method for proving interpolation properties
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
- Craig interpolation for networks of sentences
This page was built for publication: The many faces of interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024113)
