Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Two-variable logic

Known as: Two-variable fragment, Two-variable logic with counting 
In mathematical logic and computer science, two-variable logic is the fragment of first-order logic where formulae can be written using only two… Expand
Wikipedia

Papers overview

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
  • figure 1
  • figure 2
  • figure 3
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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
  • figure 1
  • figure 2
  • figure 3
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
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
2007
2007
The finite satisfiability problem for the guarded two-variable fragment with counting quantifiers is in EXPTIME. 
  • figure 1
  • figure 2
  • figure 3
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?