Finite conformal hypergraph covers and gaifman cliques in finite structures

Bulletin of Symbolic Logic

Volumn 9, Issue 3, 2003, Pages 387-405

  Hodkinson, Ian ^a   Otto, Martin ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Extension property for partial isomorphisms; Finite model theory; Finite property; Guarded logics

Indexed keywords

EID: 0141430003     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2178/bsl/1058448678     Document Type: Article

References (17)

1. Hajnal Andréka, Johan van Benthem, and IsTVAN Németi, Modal languages and bounded fragments ofpredicate logic, Journal of Philosophical Logic, vol. 27 (1998), pp. 217-274.
2. Catriel Beeri, Ronald Fagin, David Maier, and Mihalis Yannakakis, On the desirability of acyclic database schemes, Journal of the Association for Computing Machinery, vol. 30 (1983), pp. 479-513.
3. Claude Berge, Graphs and hypergraphs, North-Holland, 1973.
4. Reinhard Diestel, Graph theory, 2nd ed., Springer-Verlag, 2000.
5. Heinz-Dieter Ebbinghaus and Jörg Flum, Finite model theory, Springer-Verlag, 1995.
6. Georg Gottlob, Nicola Leone, and Francesco Scarcello, The complexity of acyclic conjunctive queries, Journal of the Association for Computing Machinery, vol. 43 (2001), pp. 431-498.
7. Erich Grâdel, The decidability of guarded fixed point logic, JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday (J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors), CD-ROM, Amsterdam University Press, 1999.
8. Erich Grâdel, Decision procedures for guarded logics, Proceedings of 16th international conference on automated deduction, CADE 16, 1999, Lecture Notes in Computer Science, vol. 1632, Springer-Verlag, 1999, pp. 31-51.
9. Erich Grâdel, On the restraining power of guards, The Journal of Symbolic Logic, vol. 64 (1999), pp. 1719-1742.
10. Erich Grâdel, Colin Hirsch, and Mârtin Otto, Back and forth between guarded and modal logics, Association for Computing Machinery Transactions on Computational Logic, vol. 3 (2002), pp. 418-463.
11. Bernhârd Herwig, Extending partial isomorphisms on finite structures, Combinator-ica, vol. 15 (1995), pp. 365-371.
12. Bernhârd Herwig, Extending partial isomorphisms for the small index property of many (omega)-categorical structures, Israel Journal of Mathematics, vol. 107 (1998), pp. 93-124.
13. Bernhârd Herwig and Dâniel Lâscâr, Extending partial isomorphisms and the profinite topology on free groups, Transactions of the American Mathematical Society, vol. 352 (2000), pp. 1985-2021.
14. Iân Hodkinson, Loosely guarded fragment of first-order logic has the finite model property, Studia Logica, vol. 70 (2002), pp. 205-240.
15. Ehud Hrushovski, Extending partial isomorphisms of graphs, Combinatorica, vol. 12 (1992), pp. 411-416.
16. Mâârten Mârx, Tolerance logic, Journal of Logic, Language and Information, vol. 10 (2001), pp. 353-374.
17. Johan vân Benthem, Dynamic bits and pieces, Technical Report LP-97-01, ILLC, Universiteit van Amsterdam, 1997.