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):
Displaying 26 items.
- Ionads (Q456842) (← links)
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- A topos-theoretic approach to reference and modality (Q1182706) (← links)
- Virtual modality (Q1430144) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- Topological representation of material implication and the rule of inference modus ponens (Q2811653) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- (Q3509066) (← links)
- Topological modal logic of $ \mathbb R$ with inequality (Q3600787) (← links)
- (Q3784048) (← links)
- (Q3978987) (← links)
- Some Connections between Topological and Modal Logic (Q4323831) (← 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)
- (Q5419867) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)
