Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
From MaRDI portal
Publication:6075540
DOI10.21146/2074-1472-2023-29-1-114-146OpenAlexW4378575317MaRDI QIDQ6075540FDOQ6075540
Authors: Mikhail Rybakov 
Publication date: 20 September 2023
Published in: Logical Investigations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21146/2074-1472-2023-29-1-114-146
Recommendations
- Two-variable universal logic with transitive closure
- Decidability of weak logics with deterministic transitive closure
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
- Domino-tiling games
- On the satisfiability problem for fragments of two-variable logic with one transitive relation
Cites Work
- Title not available (Why is that?)
- Four variables suffice
- The undecidability of entailment and relevant implication
- Title not available (Why is that?)
- A note on the Entscheidungsproblem
- Elements of finite model theory.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On the Decision Problem for Two-Variable First-Order Logic
- The undecidability of the domino problem
- On languages with two variables
- On the Products of Linear Modal Logics
- Products of ‘transitive” modal logics
- Computability and Logic
- Decidable fragments of first-order temporal logics
- Decidable fragments of first-order modal logics
- Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3--7, 2001. Proceedings.
- Title not available (Why is that?)
- Undecidability results on two-variable logics
- On the Restraining Power of Guards
- Title not available (Why is that?)
- On the complexity of propositional quantification in intuitionistic logic
- Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables
- Title not available (Why is that?)
- On modal logics betweenK × K × KandS5 × S5 × S5
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
- Complexity of finite-variable fragments of EXPTIME-complete logics
- Complexity of intuitionistic propositional logic and its fragments
- Undecidable fragments of elementary theories
- Undecidability of the Logic of Partial Quasiary Predicates
- Title not available (Why is that?)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
- The Undecidability of Monadic Modal Quantification Theory
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- Undecidability of modal and intermediate first-order logics with two individual variables
- First-order logics of braching time: on expressive power of temporal operators
- A note on hereditarily Π10- and Σ10-complete sets of sentences
- Complexity of finite-variable fragments of products with K
- Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
- Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
- Complexity of finite-variable fragments of products with non-transitive modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6075540)
