Interpolation, preservation, and pebble games

DOI10.2307/2586507zbMath0930.03040OpenAlexW2160796890MaRDI QIDQ4262591

Jon Barwise, J. F. A. K. van Benthem

Publication date: 23 November 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586507

zbMATH Keywords

interpolationpreservationinfinitary logicpebble gamesmodal fragmentfinite variable fragments

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Logic on admissible sets (03C70)

Related Items (12)

On modal logics of model-theoretic relations ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ On the Notion of Vacuous Truth ⋮ Games and Lindström theorems ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Uniform short proofs for classical theorems ⋮ Craig interpolation for networks of sentences ⋮ Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ Barwise: Infinitary Logic and Admissible Sets ⋮ The many faces of interpolation ⋮ Dynamic logic for belief revision

Cites Work

• Unnamed Item
• Unnamed Item
• Language in action
• The syntax and semantics of infinitary languages
• Global inductive definability

This page was built for publication: Interpolation, preservation, and pebble games