Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
In this paper we show that inference in 2-variable Markov logic networks (MLNs) with cardinality and function constraints is… 
2019
2019
In this paper we present another proof for the well-known small model property of two-variable logic. As far as we know, existing… 
2019
2019
We introdu e a family of modal logi s that are interpreted in domains onsisting of regions in topologi al spa es, in parti ular… 
2018
2018
We consider the problem of verifying graph transformations described by an imperative programming language. This question is… 
2013
2013
We consider the satisfiability problem for the two-variable fragment of first-order logic over finite unranked trees. We work… 
2012
2012
Two-variable logic is a fragment of first-order logic that allows for decidable verification problems. In previous work, we… 
2012
2012
We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to… 
2010
2010
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in… 
2006
2006
We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended… 
1999
1999
We show that the existential preservation theorem fails for two‐variable first‐order logic FO2. It is known that for all k ≥ 3…