Dynamic topological logics over spaces with continuous functions
暂无分享,去创建一个
Boris Konev | Frank Wolter | Michael Zakharyaschev | Roman Kontchakov | B. Konev | F. Wolter | M. Zakharyaschev | R. Kontchakov
[1] Boris Konev,et al. On Dynamic Topological and Metric Logics , 2006, Studia Logica: An International Journal for Symbolic Logic.
[2] Philip Kremer,et al. Dynamic topological logic , 2005, Ann. Pure Appl. Log..
[3] Richard Mayr. Undecidable problems in unreliable computations , 2003, Theor. Comput. Sci..
[4] Philip Kremer,et al. Axiomatizing the next-interior fragment of dynamic topological logic , 1997 .
[5] Anil Nerode,et al. Modal Logics and Topological Semantics for Hybrid Systems , 1997 .
[6] Frank Wolter,et al. Non-primitive recursive decidability of products of modal logics with expanding domains , 2006, Ann. Pure Appl. Log..
[7] Boris Konev,et al. Temporal Logics over Transitive States , 2005, CADE.
[8] J. M. Davoren,et al. Modal logics for continuous dynamics , 1998 .
[9] Philippe Schnoebelen,et al. Verifying lossy channel systems has nonprimitive recursive complexity , 2002, Inf. Process. Lett..
[10] Kit Fine. Logics Containing K4. Part I , 1974, J. Symb. Log..
[11] Frank Wolter,et al. Combining Spatial and Temporal Logics: Expressiveness vs. Complexity , 2011, J. Artif. Intell. Res..
[12] Guram Bezhanishvili,et al. Completeness of S4 with respect to the real line: revisited , 2005, Ann. Pure Appl. Log..
[13] Sergey Slavnov,et al. Two Counterexamples in the Logic of Dynamic Topological Systems , 2003 .
[14] Kit Fine,et al. Logics containing K4. Part I , 1974, Journal of Symbolic Logic.