The following pages link to Undecidability of compass logic (Q4943504):
Displaying 9 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- Subject-oriented spatial logic (Q821569) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- A Logic of East and West (Q5881809) (← links)
