Pages that link to "Item:Q2957765"
From MaRDI portal
The following pages link to Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765):
Displaying 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)
