Eva Hoogland, Maarten Marx  Home/Search
Context Related
| illc.uva.nl/Public...200011.text.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: illc.uva.nl/Pub...wwwallpublall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The guarded fragment (GF) was introduced by Andréka, van Benthem and Németi as a fine-structure of first order logic which combines a great expressive power with nice modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. Slightly generalizing the admissible relativizations yields the packed fragment (PF). In this paper we chart the behavior of these fragments with regard to interpolation. While GF and PF have... (Update)
Similar documents based on text: More All
1.1: Deciding the Guarded Fragments by Resolution - de Nivelle, de Rijke (2000) (Correct)
0.8: Implicit Definability and Infinitary Logic in Finite Model.. - Dawar, al. (Correct)
0.7: Arithmetical Definability over Finite Structures - Lee (2002) (Correct)
Related documents from co-citation: More All
4: Back and forth between guarded and modal logics - Gr, Hirsch et al. - 2000
4: the restraining power of guards - Gr, On - 1999
3: Why is modal logic so robustly decidable - Vardi - 1997
BibTeX entry: (Update)
E. Hoogland and M. Marx. Interpolation in guarded fragments. Technical report, Institute for Logic, Language and Computation, University of Amsterdam, 1999. http://citeseer.ist.psu.edu/hoogland00interpolation.html More
@techreport{ hoogland99interpolation,
author = "E. Hoogland and M. Marx",
title = "Interpolation in guarded fragments",
institution = "Institute for Logic, Language and Computation, University of
Amsterdam",
year = "1999",
url = "citeseer.ist.psu.edu/hoogland00interpolation.html" }
Citations (may not include all citations):68 Why is modal logic so robustly decidable - Vardi - 1998
40 the restraining power of guards - Gr, On - 1999
22 Beth's and Craig's properties via epimorphisms and amalgamat.. (context) - Sain - 1990
15 Complexity of modal logics of relations - Marx - 1997
15 Guarded xed point logic (context) - Gr, Walukiewicz - 1999
13 A modal logic of relations (context) - Venema, Marx
12 Failure of interpolation in combined modal logics - Marx, Areces - 1998
12 Language and Computation (context) - van Benthem, pieces et al. - 1997
12 Language and Computation (context) - van Benthem, in et al. - 1998
10 Modal logics and bounded fragments of predicate logic (context) - Andr, van Benthem et al. - 1998
7 Finite algebras of relations are representable on nite sets (context) - Andr, Hodkinson et al. - 1999
7 Classes without the amalgamation property (context) - Comer - 1969
6 congruence extension and interpolation properties in algebra.. (context) - Pigozzi - 1972
5 Modal foundations for predicate logic (context) - van Benthem
5 Cylindric relativised set algebras have strong amalgamation (context) - emeti - 1985
5 Interpolation in modal logic - Marx - 1999
5 Loosely guarded fragment has nite model property (context) - Hodkinson - 2000
4 Faculteit der Exacte Wetenschappen (context) - Marx, Technical - 1999
4 Finite variable logics - Hodkinson - 1993
1 Essays Dedicated to the Memory of Elena Rasiowa (context) - lowska, at - 1999
1 An analog of Beth's theorem in normal extensions of the moda.. (context) - Maksimova - 1992
1 Beth denability for the guarded fragment (context) - Hoogland, Marx et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.illc.uva.nl/Publications/Lists/www-allpubl-all.html): More
Temporal Reasoning and Constraint Programming - A Survey - Gennari (1998) (Correct)
Languages of Perception - Dastani (1998) (Correct)
Formalising the Common Sense of a Mobile Robot - Santos (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC