Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/goranko

Valentin Goranko (goranko)

My contributions to Philosophie.ch

No contributions yet

Bibliography

    Aiello, Marco, Bezhanishvili, Guram, Bloch, Isabelle and Goranko, Valentin. 2012. “Logic for Physical Space. From Antiquity to Present Days.” Synthese 186(3): 619–632.
    Beklemishev, Lev D., Goranko, Valentin and Shehtman, Valentin, eds. 2010. Advances in Modal Logic. vol. VIII. London: King’s College Publications.
    Brown, Mark A. and Goranko, Valentin. 1999. “An Extended Branching-Time Ockhamist Temporal Logic.” Journal of Logic, Language, and Information 8(2): 143–166.
    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.
    Demri, Stéphane, Goranko, Valentin and Lange, Martin. 2016. Temporal Logics in Computer Science: Finite-State Systems. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139236119.
    Gargov, George and Goranko, Valentin. 1993. “Modal Logic with Names.” The Journal of Philosophical Logic 22(6): 607–636.
    Goranko, Valentin. 1994. “Temporal Logic with Reference Pointers.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 133–148. Lecture Notes in Computer Science n. 827. Berlin: Springer.
    Goranko, Valentin. 1996. “Hierarchies of Modal and Temporal Logics with Reference Pointers.” Journal of Logic, Language, and Information 5(1): 1–24.
    Goranko, Valentin. 1998. “Axiomatizations with Context Rules of Inference in Modal Logic.” Studia Logica: An International Journal for Symbolic Logic 61(2): 179–197.
    Goranko, Valentin. 1999a. “Review of Chagrov and Zakharyaschev (1997).” Journal of Logic, Language, and Information 8(1): 255–258.
    Goranko, Valentin. 1999b. “Review of Fagin et al. (1995).” Journal of Logic, Language, and Information 8(4): 469–473.
    Goranko, Valentin. 2003. “The Basic Algebra of Game Equivalences.” Studia Logica: An International Journal for Symbolic Logic 75(2): 221–238.
    Goranko, Valentin. 2004. “Review of Blackburn, de Rijke and Venema (2001).” Studia Logica: An International Journal for Symbolic Logic 76(1): 142–148.
    Goranko, Valentin. 2007. “Review of Huth and Ryan (2000).” The Bulletin of Symbolic Logic 13(1): 117–120.
    Goranko, Valentin and Galton, Antony. 2015. “Temporal Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2015/entries/logic-temporal/.
    Goranko, Valentin and Rumberg, Antje. 2020. “Temporal Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2020/entries/logic-temporal/.
    Goranko, Valentin and Rumberg, Antje. 2024. “Temporal Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2024/entries/logic-temporal/.
    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.
    Goranko, Valentin and Vester, Stehen. 2014. “Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 234–253. London: King’s College Publications.

Further References

    Blackburn, Patrick, de Rijke, Maarten and Venema, Yde. 2001. Modal Logic. Cambridge: Cambridge University Press.
    Chagrov, Alexander V. and Zakharyaschev, Michael. 1997. Modal Logic. Oxford Logic Guides n. 35. Oxford: Oxford University Press.
    Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1995. Reasoning about Knowledge. Cambridge, Massachusetts: The MIT Press.
    Huth, Michael R. A. and Ryan, Mark. 2000. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge: Cambridge University Press.