Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,025,111 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Computational complexity theory
Computer science
Description logic
First-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
Ondřej Kuželka
arXiv.org
2020
Corpus ID: 219401684
In this paper we show that inference in 2-variable Markov logic networks (MLNs) with cardinality and function constraints is…
Expand
2019
2019
Two-variable logic revisited
Y. Ma
,
Tony Tan
arXiv.org
2019
Corpus ID: 201103819
In this paper we present another proof for the well-known small model property of two-variable logic. As far as we know, existing…
Expand
2019
2019
Modal Logi s of Topologi al Relations
Carsten Lutz
2019
Corpus ID: 160023511
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…
Expand
2018
2018
Verifying Graph Transformations with Guarded Logics
J. H. Brenas
,
R. Echahed
,
M. Strecker
Theoretical Aspects of Software Engineering
2018
Corpus ID: 54452203
We consider the problem of verifying graph transformations described by an imperative programming language. This question is…
Expand
2013
2013
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees
Witold Charatonik
,
Emanuel Kieronski
,
Filip Mazowiecki
arXiv.org
2013
Corpus ID: 18623513
We consider the satisfiability problem for the two-variable fragment of first-order logic over finite unranked trees. We work…
Expand
2012
2012
Verification of Two-Variable Logic Revisited
Michael Benedikt
,
R. Lenhardt
,
J. Worrell
Ninth International Conference on Quantitative…
2012
Corpus ID: 605668
Two-variable logic is a fragment of first-order logic that allows for decidable verification problems. In previous work, we…
Expand
2012
2012
Satisfiability for two-variable logic with two successor relations on finite linear orders
Diego Figueira
arXiv.org
2012
Corpus ID: 14896708
We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to…
Expand
2010
2010
On the Satisfiability of Two-Variable Logic over Data Words
C. David
,
L. Libkin
,
Tony Tan
Logic Programming and Automated Reasoning
2010
Corpus ID: 7913629
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in…
Expand
2006
2006
The Two-Variable Situation Calculus
Yilan Gu
,
M. Soutchanski
Starting AI Researchers' Symposium
2006
Corpus ID: 9048619
We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended…
Expand
1999
1999
On Preservation Theorems for Two‐Variable Logic
E. Grädel
,
Eric Rosen
Mathematical Logic Quarterly
1999
Corpus ID: 16547323
We show that the existential preservation theorem fails for two‐variable first‐order logic FO2. It is known that for all k ≥ 3…
Expand
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)
ACCEPT & CONTINUE