Pages that link to "Item:Q4611207"
From MaRDI portal
The following pages link to Satisfiability versus Finite Satisfiability in Elementary Modal Logics (Q4611207):
Displaying 6 items.
- A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth (Q2856063) (← links)
- Modal logics definable by universal three-variable formulas (Q2911630) (← links)
- Elementary Modal Logics over Transitive Structures (Q2958545) (← links)
- Decidable Elementary Modal Logics (Q2986825) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- (Q5419895) (← links)