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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1997-2017
051019972017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The finite satisfiability problem for the two-variable fragment of first-order logic interpreted over trees was recently shown to… (More)
  • figure 1
Is this relevant?
2013
2013
This paper continues the study of the two-variable fragment of first-order logic (FO2) over twodimensional structures, more… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2013
2013
Verification of properties expressed in the two-variable fragment of first-order logic FO2 has been investigated in a number of… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2012
2012
Two-variable logic is a fragment of first-order logic that allows for decidable verification problems. In previous work, we… (More)
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… (More)
Is this relevant?
2011
2011
The paper introduces key constraints for data words and shows that it is decidable whether, for a given two-variable sentence… (More)
Is this relevant?
2010
2010
The finite satisfiability problem for two-variable logic over structures with unary relations and two order relations is… (More)
  • 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… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on data trees is investigated. The nodes of… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Let C 2 p denote the class of rst order sentences with two variables and with additional quantiiers \there exists exactly (at… (More)
Is this relevant?