The decision problem of modal product logics with a diagonal, and faulty counter machines

DOI10.1007/S11225-015-9647-7zbMath1397.03023arXiv1509.02060OpenAlexW2264978891MaRDI QIDQ295920

Christopher Hampson, Stanislav Kikot, Agi Kurucz

Publication date: 14 June 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.02060

zbMATH Keywords

Minsky machineslossy and insertion-error computationsproducts of modal logicstwo-variable first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

On the subtle nature of a simple logic of the hide and seek game ⋮ A simple logic of the hide and seek game

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axiomatization of modal logic squares with distinguished diagonal
• Cylindric algebras. Part II
• A decidable temporal logic of parallelism
• Quantifiers as modal operators
• Many-dimensional modal logics: theory and applications
• Hybrid languages
• On squares of modal logics with additional connectives
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting
• Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
• Logics containing K4. Part II
• The unsolvability of the Gödel class with identity
• On languages with two variables
• Complexity of products of modal logics
• A really temporal logic
• On the Decision Problem for Two-Variable First-Order Logic
• Products of modal logics, part 1
• The product of converse PDL and polymodal K
• On the Products of Linear Modal Logics
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Undecidability of compass logic
• Products of modal logics. Part 2: relativised quantifiers in classical logic
• Modal logics with linear alternative relations
• Products of ‘transitive” modal logics
• The Complexity of Decomposing Modal and First-Order Theories
• Foundations of Software Science and Computation Structures
• Two-dimensional modal logic
• Two-dimensional modal logic

This page was built for publication: The decision problem of modal product logics with a diagonal, and faulty counter machines