Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

&
Annals of Pure and Applied Logic 170 (4):505-514 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.12.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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 monadic second-order logic of graphs IV: Definability properties of equational graphs.Bruno Courcelle - 1990 - Annals of Pure and Applied Logic 49 (3):193.
Monadic second-order properties of very sparse random graphs.L. B. Ostrovsky & M. E. Zhukovskii - 2017 - Annals of Pure and Applied Logic 168 (11):2087-2101.
Logical laws for short existential monadic second-order sentences about graphs.M. E. Zhukovskii - 2019 - Journal of Mathematical Logic 20 (2):2050007.
The monadic second-order logic of graphs XV: On a conjecture by D. Seese.Bruno Courcelle - 2006 - Journal of Applied Logic 4 (1):79-114.
Reachability is harder for directed than for undirected finite graphs.Miklos Ajtai & Ronald Fagin - 1990 - Journal of Symbolic Logic 55 (1):113-150.
Second-order propositional modal logic and monadic alternation hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
Circle graphs and monadic second-order logic.Bruno Courcelle - 2008 - Journal of Applied Logic 6 (3):416-442.
Logical aspects of Cayley-graphs: the group case.Dietrich Kuske & Markus Lohrey - 2004 - Annals of Pure and Applied Logic 131 (1-3):263-286.
The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.

Analytics

Added to PP
2018-12-19

Downloads
34 (#458,073)

6 months
15 (#234,189)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Probabilities on finite models.Ronald Fagin - 1976 - Journal of Symbolic Logic 41 (1):50-58.

Add more references