Interpolation, preservation, and pebble games

&
Journal of Symbolic Logic 64 (2):881-903 (1999)
  Copy   BIBTEX

Abstract

Preservation and interpolation results are obtained for L ∞ω and sublogics $\mathscr{L} \subseteq L_{\infty\omega}$ such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Interpolation and preservation for pebble logics.Alexandru Baltag - 1999 - Journal of Symbolic Logic 64 (2):846-858.
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Ah, Chu!Solomon Feferman - unknown
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Interpolation and Preservation in ${\cal M\kern-1pt L}{\omega1}$.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
Interpolation, preservation, and pebble games.Johan Benthem Jon Barwisvane - 1999 - Journal of Symbolic Logic 64 (2).

Analytics

Added to PP
2009-01-28

Downloads
36 (#431,270)

6 months
9 (#298,039)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
The many faces of interpolation.Johan Benthem - 2008 - Synthese 164 (3):451-460.
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.

View all 8 citations / Add more citations

References found in this work

Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
Book Reviews. [REVIEW]Johan van Benthem - 2001 - Studia Logica 67 (1):111-150.

View all 6 references / Add more references