Tinko Tinchev (tinchev)

Beiträge zu Philosophie.ch

Bibliography

Balbiani, Philippe and Tinchev, Tinko. 2014. “Definability and Computability for PRSPDL.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 16–33. London: King’s College Publications.
Balbiani, Philippe and Tinchev, Tinko. 2016. “Unification in Modal Logic Alt.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 117–134. London: King’s College Publications.
Gargov, George, Passy, Solomon and Tinchev, Tinko. 1987. “Modal Environment for Boolean Speculations.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 253–264. New York: Plenum Press.
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.