Abstract
We survey notions of bisimulation and of bisimilar coverings both in the world of graph-like structures (Kripke structures, transition systems) and in the world of hypergraph-like general relational structures. The provision of finite analogues for full infinite tree-like unfoldings, in particular, raises interesting combinatorial challenges and is the key to a number of interesting model-theoretic applications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alon, N.: Tools from higher algebra. In: Graham, R., Grötschel, M., Lovász (eds.) Handbook of Combinatorics, vol. II, pp. 1749–1783. North-Holland (1995)
Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27, 217–274 (1998)
Bárány, V., Gottlob, G., Otto, M.: Querying the guarded fragment. Logical Methods in Computer Science (submitted, 2012)
Bárány, V., ten Cate, B., Segoufin, L.: Guarded Negation. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol. 6756, pp. 356–367. Springer, Heidelberg (2011)
Beeri, C., Fagin, R., Maier, D., Yannakakis, M.: On the desirability of acyclic database schemes. Journal of the ACM 30, 497–513 (1983)
Berge, C.: Graphs and Hypergraphs. North-Holland (1973)
Biggs, N.: Cubic graphs with large girth. In: Blum, G., et al. (eds.) Annals of the New York Academy of Sciences, vol. 555, pp. 56–62 (1989)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)
Dawar, A., Otto, M.: Modal characterisation theorems over special classes of frames. Annals of Pure and Applied Logic 161, 1–42 (2009)
Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 249–329. Elsevier (2007)
Grädel, E.: On the restraining power of guards. Journal of Symbolic Logic 64, 1719–1742 (1999)
Grädel, E., Hirsch, C., Otto, M.: Back and forth between guarded and modal logics. ACM Transactions on Computational Logics 3, 418–463 (2002)
Grädel, E., Otto, M.: The freedoms of (guarded) bisimulation (in preparation, 2012)
Grädel, E., Walukiewicz, I.: Guarded fixed point logic. In: Proc. LICS 1999, pp. 45–54 (1999)
Herwig, B.: Extending partial isomorphisms on finite structures. Combinatorica 15, 365–371 (1995)
Hodkinson, I., Otto, M.: Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bulletin of Symbolic Logic 9, 387–405 (2003)
Janin, D., Walukiewicz, I.: On the Expressive Completeness of the Propositional μ-Calculus with Respect to Monadic Second-order Logic. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 263–277. Springer, Heidelberg (1996)
Otto, M.: Modal and guarded characterisation theorems over finite transition systems. Annals of Pure and Applied Logic 130, 173–205 (2004)
Otto, M.: Bisimulation invariance and finite models. In: Colloquium Logicum 2002. Lecture Notes in Logic, pp. 276–298. ASL (2006)
Otto, M.: Avoiding incidental homomorphisms into guarded covers. Technical report no. 2600, TU Darmstadt (2009)
Otto, M.: Model theoretic methods for fragments of FO and special classes of (finite) structures. In: Steinhorn, C., Esparza, J., Michaux, C. (eds.) Finite and Algorithmic Model Theory. LMS Lecture Notes, vol. 379, pp. 271–341. CUP (2011)
Otto, M.: Expressive completeness through logically tractable models. Annals of Pure and Applied Logic (under revision, 2012)
Otto, M.: Highly acyclic groups, hypergraph covers and the guarded fragment. Journal of the ACM 59(1) (2012)
Otto, M.: On groupoids and hypergraphs (unpublished draft, 2012)
Rosati, R.: On the decidability and finite controllability of query processing in databases with incomplete information. In: Proc. PODS 2006, pp. 356–365 (2006)
Rosen, E.: Modal logic over finite structures. Journal of Logic, Language and Information 6, 427–439 (1997)
ten Cate, B., Segoufin, L.: Unary negation. In: Proceedings of STACS, pp. 344–355 (2011)
van Benthem, J.: Modal Logic and Classical Logic, Bibliopolis, Napoli (1983)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Otto, M. (2013). Bisimulation and Coverings for Graphs and Hypergraphs. In: Lodaya, K. (eds) Logic and Its Applications. ICLA 2013. Lecture Notes in Computer Science, vol 7750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36039-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-36039-8_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36038-1
Online ISBN: 978-3-642-36039-8
eBook Packages: Computer ScienceComputer Science (R0)