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)

Related topics

Related topics

4 relations
Computational complexity theoryComputer scienceDescription logicFirst-order logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform
In this paper we show that inference in 2-variable Markov logic networks (MLNs) with cardinality and function constraints is… 
2019
2019
Modal Logi s of Topologi al Relations
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… 
2019
2019
Two-variable logic revisited
In this paper we present another proof for the well-known small model property of two-variable logic. As far as we know, existing… 
2016
2016
Two-variable Logic with a Between Predicate
We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two… 
2013
2013
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees
We consider the satisfiability problem for the two-variable fragment of first-order logic over finite unranked trees. We work… 
2013
2013
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees
Verification of properties of first order logic with two variables FO2 has been investigated in a number of contexts. Over… 
2013
2013
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to… 
2012
2012
Satisfiability for two-variable logic with two successor relations on finite linear orders
We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to… 
2009
2009
Finding the Largest Datalog Fragment of Description Logic
Description Logic Programs (DLP) have been described as a de cription logic (DL) that is in the “expressive intersection” of D L… 
1998
1998
Over Words, Two Variables Are as Powerful as One Quantiier Alternation: Fo 2 = 2 \ 2
We show a property of strings is expressible in the two-variable fragment of rst-order logic if and only if it is expressible by… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)