Interpolation, preservation, and pebble games
Journal of Symbolic Logic 64 (2):881-903 (1999)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGiovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3).
Balder Ten Cate (2005). Interpolation for Extended Modal Languages. Journal of Symbolic Logic 70 (1):223 - 234.
Holger Sturm (1998). Interpolation and Preservation in ${\Cal M\Kern-1pt L}{\Omega1}$. Notre Dame Journal of Formal Logic 39 (2):190-211.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Johan Van Benthem (2008). The Many Faces of Interpolation. Synthese 164 (3):451 - 460.
Johan van Benthem (2008). The Many Faces of Interpolation. Synthese 164 (3).
Alexandru Baltag (1999). Interpolation and Preservation for Pebble Logics. Journal of Symbolic Logic 64 (2):846-858.
Johan Benthem Jon Barwisvane (1999). Interpolation, Preservation, and Pebble Games. Journal of Symbolic Logic 64 (2).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,175 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
