Pages that link to "Item:Q2867946"
From MaRDI portal
The following pages link to Undecidability of multi-modal hybrid logics (Q2867946):
Displaying 9 items.
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- The price of universality (Q1815426) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Undecidability of multi-modal hybrid logics (Q2867946) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
- Highway to the Danger Zone (Q4323004) (← links)
- (Q4461957) (← links)