Roman Kontchakov (kontchakov)

Contributions to Philosophie.ch

Bibliography

Konev, B., Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael. 2006. “Dynamic Topological Logics over Spaces with Continuous Functions.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 299–318. London: King’s College Publications.
Kontchakov, Roman, Kurucz, Ágnes and Zakharyaschev, Michael. 2005. “Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables.” The Bulletin of Symbolic Logic 11(3): 428–438.
Kontchakov, Roman, Lutz, Carsten, Wolter, Frank and Zakharyaschev, Michael. 2004. “Temporalizing Tableaux.” Studia Logica: An International Journal for Symbolic Logic 76(1): 91–134.
Kontchakov, Roman, Pratt-Hartmann, Ian, Wolter, Frank and Zakharyaschev, Michael. 2008. “Topology, Connectedness, and Modal Logic.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 151–176. London: College Publications.