Pages that link to "Item:Q920975"
From MaRDI portal
The following pages link to General canonical models for graded normal logics. (Graded modalities. IV) (Q920975):
Displaying 5 items.
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- Decidability by filtrations for graded normal logics. (Graded modalities. V) (Q1317901) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Introducing Polymodal Neighbourhood Logics (Q5178960) (← links)
- Finite-Chain Graded Modal Logic (Q5213655) (← links)
