en-de
en-es
en-fr
en-pt
en-sl
en
en-zh
0.25
0.5
0.75
1.25
1.5
1.75
2
Towards a Modal Proof Theory of Topological Dynamics
Published on May 20, 20113177 Views
Related categories
Chapter list
Towards a Modal Proof Theory of Topological Dynamics00:00
Dynamic Topological Logic03:13
Origins08:02
The logic of Minimal Systems09:42
Recursive enumerability13:09
Kremer-Mints axioms18:58
Simulations19:32
The tangled closure20:30
A complete axiomatization for DT L*23:13
Applications24:15
DT L+ probability?25:22
Measure algebras25:31
Thank You!26:47