Propositional logic of continuous transformations in Cantor space-Reference-Cited by-同舟云学术

Propositional logic of continuous transformations in Cantor space

Published:2005-06-06 Issue:6 Volume:44 Page:783-799
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Mints Grigori,Zhang Ting

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s00153-005-0285-z.pdf

Reference5 articles.

1. Artemov, S., Davoren, J., Nerode, A.: Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05, Cornell University, June 1997 (available at http://www.cs.gc.cuny.edu/~sartemov/publications/MSI97-05.ps)

2. Davoren, J.M.: Modal logics for continuous dynamics. Ph.D. Thesis, Cornell University, 1998

3. Mints, G.: A completeness proof for propositional S4 in Cantor space. In: Orlowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 79–88 (1999)

4. Mints, G., Kremer, P.: Dynamic topological logic. Bulletin of Symbolic Logic 3, 371–372 (1997)

5. Kremer, P., Mints, G.: Dynamic topological logic. Annals of Pure and Applied Logic 131, 133–158 (2005)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Non-finite axiomatizability of dynamic topological logic;ACM Transactions on Computational Logic;2014-02

2. A sound and complete axiomatization for Dynamic Topological Logic;The Journal of Symbolic Logic;2012-09

3. Dynamic topological logic of metric spaces;The Journal of Symbolic Logic;2012-03

4. Dynamic Topological Logic Interpreted over Minimal Systems;Journal of Philosophical Logic;2010-11-16

5. The modal logic of continuous functions on the rational numbers;Archive for Mathematical Logic;2010-04-01