On languages with two variables
From MaRDI portal
Publication:4110975
DOI10.1002/malq.19750210118zbMath0343.02009OpenAlexW2086470346MaRDI QIDQ4110975
Publication date: 1975
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19750210118
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)
Related Items (71)
On the Decidability of Elementary Modal Logics ⋮ Two-Variable Logic with Counting and Trees ⋮ Problems of constructing intelligent systems. Levels of intelligence ⋮ Decidability of order-based modal logics ⋮ The guarded fragment with transitive guards ⋮ Bounded model checking of infinite state systems ⋮ On Preservation Theorems for Two-Variable Logic ⋮ A logical approach to locality in pictures languages ⋮ Extending description logics with uncertainty reasoning in possibilistic logic ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Undecidability of modal and intermediate first-order logics with two individual variables ⋮ The two‐variable fragment with counting and equivalence ⋮ Metric propositional neighborhood logic with an equivalence relation ⋮ On Satisfiability in ATL with Strategy Contexts ⋮ Small substructures and decidability issues for first-order logic with two variables ⋮ A logic of reachable patterns in linked data-structures ⋮ Canonization for two variables and puzzles on the square ⋮ On the complexity of the two-variable guarded fragment with transitive guards ⋮ On the relative expressiveness of description logics and predicate logics ⋮ Decidable Fragments of Many-Sorted Logic ⋮ Data Centric Workflows for Crowdsourcing ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ An event-based fragment of first-order logic over intervals ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Computational complexity of theories of a binary predicate with a small number of variables ⋮ Syllogistic logic with comparative adjectives ⋮ On the Decision Problem for Two-Variable First-Order Logic ⋮ Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic ⋮ On logics with two variables ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ On the complexity of team logic and its two-variable fragment ⋮ Fifty years of the spectrum problem: survey and new results ⋮ Two variable first-order logic over ordered domains ⋮ Using tableau to decide description logics with full role negation and identity ⋮ Decidable fragments of first-order modal logics ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ Undecidability results on two-variable logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ THE FLUTED FRAGMENT REVISITED ⋮ Unnamed Item ⋮ First-order logic with two variables and unary temporal logic ⋮ Decidability of cylindric set algebras of dimension two and first-order logic with two variables ⋮ On the Restraining Power of Guards ⋮ 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 ⋮ The equational theory of CA3 is undecidable ⋮ Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview ⋮ Guarded Negation ⋮ Guarded Negation ⋮ \(e\): the master of all ⋮ Undecidability of First-Order Intuitionistic and Modal Logics with Two variables ⋮ The ultra-weak Ash conjecture and some particular cases ⋮ Modal translation of substructural logics ⋮ A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$ ⋮ Description Logics ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter ⋮ Decidable fragments of many-sorted logic ⋮ Deux ou trois choses que je sais de Ln ⋮ Logical separability of labeled data examples under ontologies ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION ⋮ Decidable fragments of first-order temporal logics ⋮ Regular path queries with constraints ⋮ Regular Graphs and the Spectra of Two-Variable Logic with Counting ⋮ Deciding the guarded fragments by resolution
This page was built for publication: On languages with two variables
