The following pages link to (Q5419867):
Displaying 8 items.
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Virtual modality (Q1430144) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- (Q3121529) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- Topological modal logic of $ \mathbb R$ with inequality (Q3600787) (← links)
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes (Q5019118) (← links)
- (Q5376651) (← links)