Pages that link to "Item:Q2388436"
From MaRDI portal
The following pages link to Propositional logic of continuous transformations in Cantor space (Q2388436):
Displaying 6 items.
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- The modal logic of continuous functions on Cantor space (Q862352) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
