On languages with two variables

Cited in

(82)

\(e\): the master of all
Decidable fragments of many-sorted logic
Regular path queries with constraints
Canonization for two variables and puzzles on the square
Decidable fragments of first-order temporal logics
Problems of constructing intelligent systems. Levels of intelligence
Deciding the guarded fragments by resolution
The guarded fragment with transitive guards
On logics with two variables
Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
A simple combinatorial proof for the small model property of two-variable logic
Logical separability of labeled data examples under ontologies
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Decidability of order-based modal logics
Bounded model checking of infinite state systems
An event-based fragment of first-order logic over intervals
First-order logic with two variables and unary temporal logic
A logic of reachable patterns in linked data-structures
On the relative expressiveness of description logics and predicate logics
Computational complexity of theories of a binary predicate with a small number of variables
Two variable first-order logic over ordered domains
Decidable fragments of first-order modal logics
A connection calculus for the description logic \( {\mathcal{ALC}} \)
On satisfiability in ATL with strategy contexts
Small substructures and decidability issues for first-order logic with two variables
A logical approach to locality in pictures languages
Two-Variable Separation Logic and Its Inner Circle
The decision problem of modal product logics with a diagonal, and faulty counter machines
Extending description logics with uncertainty reasoning in possibilistic logic
Metric propositional neighborhood logic with an equivalence relation
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
The ultra-weak Ash conjecture and some particular cases
The two-variable fragment with counting and equivalence
Decidable Fragments of Many-Sorted Logic
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
Logics for two fragments beyond the syllogistic boundary
Description Logics
Products of modal logics with diagonal constant lacking the finite model property
The equational theory of CA₃ is undecidable
On Preservation Theorems for Two-Variable Logic
Undecidability of modal and intermediate first-order logics with two individual variables
On the Decision Problem for Two-Variable First-Order Logic
Syllogistic logic with comparative adjectives
Deux ou trois choses que je sais de L_n
Complexity of two-variable dependence logic and IF-logic
Fifty years of the spectrum problem: survey and new results
Decidability of cylindric set algebras of dimension two and first-order logic with two variables
On the Restraining Power of Guards
Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
On the complexity of team logic and its two-variable fragment
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
Undecidability results on two-variable logics
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
One-dimensional guarded fragments
Two variable fragment of term modal logic
Register automata with extrema constraints, and an application to two-variable logic
Data centric workflows for crowdsourcing
The fluted fragment revisited
Modal translation of substructural logics
Regular graphs and the spectra of two-variable logic with counting
On the decidability of elementary modal logics
Two-variable logic with counting and trees
Lattice logic as a fragment of (2-sorted) residuated modal logic
Using tableau to decide description logics with full role negation and identity
Guarded negation
Guarded negation
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
INTERLEAVING LOGIC AND COUNTING
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
Two variable logic with ultimately periodic counting
Craig interpolation for decidable first-order fragments
Two variable logic with ultimately periodic counting
On two-variable first-order logic with a partial order
Craig interpolation for decidable first-order fragments
A uniform one-dimensional fragment with alternation of quantifiers
A version of predicate logic with two variables that has an incompleteness property
Decidability of querying first-order theories via countermodels of finite width
Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic
An excursion to the border of decidability: between two- and three-variable logic
Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
On the complexity of the two-variable guarded fragment with transitive guards

This page was built for publication: On languages with two variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4110975)