Pages that link to "Item:Q5388732"
From MaRDI portal
The following pages link to Dynamic topological logic of metric spaces (Q5388732):
Displaying 9 items.
- On dynamic topological and metric logics (Q865049) (← links)
- Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- (Q3509059) (← links)
- An infinitary axiomatization of dynamic topological logic (Q5066804) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- (Q5196789) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)