Pages that link to "Item:Q2904064"
From MaRDI portal
The following pages link to Simulation of two dimensions in unimodal logics (Q2904064):
Displaying 4 items.
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Highway to the Danger Zone (Q4323004) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Undecidability of compass logic (Q4943504) (← links)