Propositional logic of continuous transformations in Cantor space

DOI10.1007/s00153-005-0285-zzbMath1103.03021OpenAlexW2044928815MaRDI QIDQ2388436

Yanyan Li

Publication date: 13 September 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0285-z

zbMATH Keywords

completenessCantor spacedynamic topological logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

A sound and complete axiomatization for Dynamic Topological Logic ⋮ The modal logic of continuous functions on Cantor space ⋮ Dynamic topological logic of metric spaces ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ The modal logic of continuous functions on the rational numbers ⋮ Dynamic topological logic interpreted over minimal systems

Cites Work

• Dynamic topological logic

This page was built for publication: Propositional logic of continuous transformations in Cantor space