Pages that link to "Item:Q3580665"
From MaRDI portal
The following pages link to TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665):
Displayed 11 items.
- Ionads (Q456842) (← links)
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- Neighborhood-Sheaf Semantics for First-Order Modal Logic (Q2825413) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Interpolation and amalgamation in modal cylindric algebras (Q5149742) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
- Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)