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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2020

In this paper we show that inference in 2-variable Markov logic networks (MLNs) with cardinality and function constraints is…

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

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…

2015

We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all…

2013

We consider the satisfiability problem for the two-variable fragment of first-order logic over finite unranked trees. We work…

2012

Two-variable logic is a fragment of first-order logic that allows for decidable verification problems. In previous work, we…

2012

We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to…

2010

Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in…

2006

We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended…

1999

We show that the existential preservation theorem fails for two‐variable first‐order logic FO2. It is known that for all k ≥ 3…