Pages that link to "Item:Q2957765"

The following pages link to Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765):

Displayed 3 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) ‎ (← links)
• On the termination and structural termination problems for counter machines with incrementing errors (Q2037198) ‎ (← links)
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) ‎ (← links)