Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (Q6075540): Difference between revisions

Latest revision as of 23:14, 2 August 2024

scientific article; zbMATH DE number 7740648

Language	Label	Description	Also known as
English	Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?	scientific article; zbMATH DE number 7740648

Statements

instance of

scholarly article

0 references

title

Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (English)

0 references

author

Mikhail Rybakov

0 references

published in

Logical Investigations

0 references

publication date

20 September 2023

0 references

zbMATH Keywords

first-order logic

0 references

transitive closure

0 references

undecidability

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.21146/2074-1472-2023-29-1-114-146

0 references

cites work

Q5817396

0 references

Q4636282

0 references

The undecidability of the domino problem

0 references

Trakhtenbrot theorem and first-order axiomatic extensions of MTL

0 references

Computability and Logic

0 references

Q5691140

0 references

Q5465436

0 references

Q3128959

0 references

A note on the Entscheidungsproblem

0 references

Undecidability of modal and intermediate first-order logics with two individual variables

0 references

Products of ‘transitive” modal logics

0 references

On the Restraining Power of Guards

0 references

On the Decision Problem for Two-Variable First-Order Logic

0 references

Undecidability results on two-variable logics

0 references

Q4263789

0 references

The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

0 references

On modal logics betweenK × K × KandS5 × S5 × S5

0 references

Decidable fragments of first-order temporal logics

0 references

Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3--7, 2001. Proceedings.

0 references

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

0 references

Q2856051

0 references

On the complexity of propositional quantification in intuitionistic logic

0 references

The Undecidability of Monadic Modal Quantification Theory

0 references

Elements of finite model theory.

0 references

On languages with two variables

0 references

A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

0 references

Q3916564

0 references

Undecidable fragments of elementary theories

0 references

Q4298260

0 references

On the Products of Linear Modal Logics

0 references

Q5573961

0 references

Q3509064

0 references

Q3647277

0 references

Complexity of intuitionistic propositional logic and its fragments

0 references

Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

0 references

Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages

0 references

Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages

0 references

Complexity of finite-variable fragments of products with K

0 references

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter

0 references

Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages

0 references

Complexity of finite-variable fragments of products with non-transitive modal logics

0 references

Undecidability of the Logic of Partial Quasiary Predicates

0 references

A note on hereditarily Π10- and Σ10-complete sets of sentences

0 references

Q5846270

0 references

Q4040000

0 references

On Computable Numbers, with an Application to the Entscheidungsproblem

0 references

The undecidability of entailment and relevant implication

0 references

Q3629230

0 references

Decidable fragments of first-order modal logics

0 references

Identifiers

DOI

10.21146/2074-1472-2023-29-1-114-146

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6075540

@@ Property / full work available at URL @@
+https://doi.org/10.21146/2074-1472-2023-29-1-114-146
+Normal rank
@@ Property / OpenAlex ID @@
+W4378575317
@@ Property / OpenAlex ID: W4378575317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817396
@@ Property / cites work: Q5817396 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636282
@@ Property / cites work: Q4636282 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Trakhtenbrot theorem and first-order axiomatic extensions of MTL
+Normal rank
@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465436
@@ Property / cites work: Q5465436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the Entscheidungsproblem
@@ Property / cites work: A note on the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of modal and intermediate first-order logics with two individual variables
+Normal rank
@@ Property / cites work @@
+Products of ‘transitive” modal logics
@@ Property / cites work: Products of ‘transitive” modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Undecidability results on two-variable logics
@@ Property / cites work: Undecidability results on two-variable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263789
@@ Property / cites work: Q4263789 / rank @@
+Normal rank
@@ Property / cites work @@
+The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
+Normal rank
@@ Property / cites work @@
+On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b>
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3--7, 2001. Proceedings.
+Normal rank
@@ Property / cites work @@
+Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
+Normal rank
@@ Property / cites work @@
+Q2856051
@@ Property / cites work: Q2856051 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional quantification in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The Undecidability of Monadic Modal Quantification Theory
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
+Normal rank
@@ Property / cites work @@
+Q3916564
@@ Property / cites work: Q3916564 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable fragments of elementary theories
@@ Property / cites work: Undecidable fragments of elementary theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Products of Linear Modal Logics
@@ Property / cites work: On the Products of Linear Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509064
@@ Property / cites work: Q3509064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3647277
@@ Property / cites work: Q3647277 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of intuitionistic propositional logic and its fragments
+Normal rank
@@ Property / cites work @@
+Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
+Normal rank
@@ Property / cites work @@
+Complexity of finite-variable fragments of products with <b>K</b>
+Normal rank
@@ Property / cites work @@
+Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
+Normal rank
@@ Property / cites work @@
+Complexity of finite-variable fragments of products with non-transitive modal logics
+Normal rank
@@ Property / cites work @@
+Undecidability of the Logic of Partial Quasiary Predicates
+Normal rank
@@ Property / cites work @@
+A note on hereditarily Π10- and Σ10-complete sets of sentences
+Normal rank
@@ Property / cites work @@
+Q5846270
@@ Property / cites work: Q5846270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+Q3629230
@@ Property / cites work: Q3629230 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6075540