Dimiter Vakarelov (vakarelov)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Conradie, W., Goranko, Valentin and Vakarelov, Dimiter. 2005. “Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model-Theoretic Aspects.” in Advances in Modal Logic, volume V, edited by Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 17–51. London: King’s College Publications.
Goranko, Valentin and Vakarelov, Dimiter. 2000. “Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 265–292. Stanford, California: CSLI Publications.
Goranko, Valentin and Vakarelov, Dimiter. 2002. “Sahlqvist Formulas Unleashed in Polyadic Modal Languages.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 221–240. Singapore: World Scientific Publishing Co.
Nenov, Yavor and Vakarelov, Dimiter. 2008. “Modal Logics for Mereotopological Relations.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 249–272. London: College Publications.
Tinchev, Tinko and Vakarelov, Dimiter. 2010. “Logics of Space with Connectedness Predicates: Complete Axiomatizations.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 434–453. London: King’s College Publications.
Vakarelov, Dimiter. 1996. “Many-Dimensional Arrow Structures: Arrow Logics II.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 141–187. Stanford, California: CSLI Publications.
Vakarelov, Dimiter. 1998. “Hyper Arrow Structures. Arrow Logics III.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 269–290. Stanford, California: CSLI Publications.
Vakarelov, Dimiter. 2000. “Review of Marx and Venema (1997).” The Bulletin of Symbolic Logic 6(4): 490–495.
Vakarelov, Dimiter. 2003. “Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist’s Class.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 499–518. London: King’s College Publications.
Vakarelov, Dimiter. 2008. “A Modal Approach to Dynamic Ontology: Modal Mereotopology.” Logic and Logical Philosophy 17(1/2): 143–161.
Vakarelov, Dimiter. 2012. “Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 538–558. London: King’s College Publications.