Bisimulation and Coverings for Graphs and Hypergraphs

In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 5--16 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

The monadic second-order logic of graphs VIII: Orientations.Bruno Courcelle - 1995 - Annals of Pure and Applied Logic 72 (2):103-143.
The Role of Graphs in the Theory of Ordered Sets and Its Applications.Ivan Rival - 1992 - Journal of Symbolic Logic 57 (1):269-271.
Review: Ivan Rival, The Role of Graphs in the Theory of Ordered Sets and Its Applications. [REVIEW]R. Downey - 1992 - Journal of Symbolic Logic 57 (1):269-271.
Applications of (Neutro/Anti)sophications to Semihypergroups.A. Rezaei, Florentin Smarandache & S. Mirvakili - 2021 - Journal of Mathematics 2021 (1):1-7.
Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic.Yifeng Ding, Jixin Liu & Yanjing Wang - 2023 - Synthese 201 (2):1-27.
Graphs and order. The role of graphs in the theory of ordered sets and its applications, edited by rival Ivan, nato asi series c, vol. 147, D. reidel publishing company, dordrecht, boston, and Lancaster, 1985, XIX+ 796 pp. [REVIEW]R. Downey - 1992 - Journal of Symbolic Logic 57 (1):269-271.
A Note on Universal Classes with Applications to the Theory of Graphs.Williams Kramer Forrest - 1978 - Mathematical Logic Quarterly 24 (19-24):335-346.
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.Yifeng Ding, Jixin Liu & Yanjing Wang - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 58-72.
Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 , pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp. [REVIEW]Anuj Dawar - 1998 - Journal of Symbolic Logic 63 (1):329-331.

Analytics

Added to PP
2014-01-28

Downloads
28 (#798,682)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Modal characterisation theorems over special classes of frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Modal and guarded characterisation theorems over finite transition systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.

View all 9 references / Add more references