FUIN

2010

13 years 3 months ago
2010

We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...

FUIN

2010

13 years 3 months ago
2010

An infinite binary word can be identified with a branch in the full binary tree. We consider sets of branches definable in monadic second-order logic over the tree, where we allow ...

BIRTHDAY

2010

Springer

13 years 3 months ago
2010

Springer

Pioneers of logic, among them J.R. B

LPAR

2010

Springer

13 years 4 months ago
2010

Springer

By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...

TCS

2002

13 years 6 months ago
2002

An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...

ENTCS

2002

13 years 6 months ago
2002

The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...

APAL

2004

13 years 6 months ago
2004

The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower...

JCT

2007

13 years 6 months ago
2007

We prove that one can express the vertex-minor relation on ﬁnite undirected graphs by formulas of monadic second-order logic (with no edge set quantiﬁcation) extended with a p...

ECCC

2007

13 years 6 months ago
2007

Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just speciﬁc problems. These families are usually deﬁned i...

JOLLI

2008

13 years 6 months ago
2008

While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...