Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

We consider the two-variable logic with counting quantifiers (C2) interpreted over finite structures that contain two forests of… Expand

Is this relevant?

2013

2013

We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to… Expand

Is this relevant?

2013

2013

This paper continues the study of the two-variable fragment of first-order logic (FO^2) over two- dimensional structures, more… Expand

Is this relevant?

Highly Cited

2011

Highly Cited

2011

In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. This model has… Expand

Is this relevant?

Highly Cited

2009

Highly Cited

2009

Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on data trees is investigated. The nodes of… Expand

Is this relevant?

2007

2007

The finite satisfiability problem for the guarded two-variable fragment with counting quantifiers is in EXPTIME.

Is this relevant?

Highly Cited

2006

Highly Cited

2006

In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

The satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting… Expand

Is this relevant?

2001

2001

We introduce a modal language L which is obtained from standard modal logic by adding the difference operator and modal operators… Expand

Is this relevant?

Highly Cited

1997

Highly Cited

1997

Let C/sub k//sup 2/ denote the class of first order sentences with two variables and with additional quantifiers "there exists… Expand

Is this relevant?