Non-deterministic semantics for dynamic topological logic

Well-quasi-ordering, the Tree Theorem, and Vazsonyi’s conjecture

Joseph B. Kruskal · Transactions of the American Mathematical Society · 1960 · 455 citations · Full text

Natural Sciences, Mathematics, Discrete Mathematics +5

Propositional temporal logics: decidability and completeness

Orna Lichtenstein · Logic Journal of IGPL · 2000 · 116 citations

Humanities, Computer Science, Mathematics +11

Dynamic topological logic

Philip Kremer, Grigori Mint︠s︡ · Annals of Pure and Applied Logic · 2004 · 75 citations

On Dynamic Topological and Metric Logics

Boris Konev, Roman Kontchakov, Frank Wolter et al. · Studia Logica · 2006 · 26 citations

Natural Sciences, Computer Science, Mathematics +11

Dynamic topological logics over spaces with continuous functions

Boris Konev, Roman Kontchakov, Frank Wolter et al. · BIROn (Birkbeck, University of London) · 2006 · 25 citations

Humanities, Computer Science, Mathematics +14