Pages that link to "Item:Q2940883"
From MaRDI portal
The following pages link to QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883):
Displaying 6 items.
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- On Dynamic Topological Logic of the Real Line (Q3549319) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
