Pages that link to "Item:Q2958545"
From MaRDI portal
The following pages link to Elementary Modal Logics over Transitive Structures (Q2958545):
Displaying 5 items.
- On the modal definability of simulability by finite transitive models (Q763328) (← links)
- Modal logics definable by universal three-variable formulas (Q2911630) (← links)
- Decidable Elementary Modal Logics (Q2986825) (← links)
- Undecidability of the transitive graded modal logic with converse (Q3133169) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)