Pages that link to "Item:Q3442403"
From MaRDI portal
The following pages link to Dynamic Topological Completeness for (Q3442403):
Displaying 8 items.
- Dynamic measure logic (Q714709) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)