Pages that link to "Item:Q5066804"
From MaRDI portal
The following pages link to An infinitary axiomatization of dynamic topological logic (Q5066804):
Displaying 8 items.
- Dynamic topological logic (Q705534) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- Dynamic topological S5 (Q1024554) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- (Q3509059) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)