Pages that link to "Item:Q3133169"
From MaRDI portal
The following pages link to Undecidability of the transitive graded modal logic with converse (Q3133169):
Displaying 6 items.
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- On the complexity of graded modal logics with converse (Q2296751) (← links)
- Description logic on image graphs (Q5114294) (← links)
- Completing the Picture: Complexity of Graded Modal Logics with Converse (Q6063859) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)