Last update: November 2022
Mail to V.Goranko

Current students


PhD students

Anders Lundstedt: Some philosophical aspects of mathematical induction

Chantel Marais (co-supervised, at the University of the Witwatersrand, Johannesburg, South Africa): Temporal logics of trees

Master students

Johan van Rooyen (co-supervised, at the University of Pretoria, South Africa): Synthesis of Nash Equilibrium Strategies with Quantitative and Qualitative Objectives

Former students and postdocs


Riccardo de Masellis Dynamical multi-agent systems, postdoc position within my research project funded by the Swedish Research Council (2016-2019), Department of Philosophy, Stockholm University

Antti Kuusisto Model theory of computational logics, postdoc funded by the Finnish Foundation, Department of Philosophy, Stockholm University

Dmitry Shkatov Tableaux-based decision methods for multi-agent logics, Claude Leon Foundation postdoc fellow, School of Mathematics, Univ. of the Witwatersrand, Johannesburg

PhD students

Karl Nygren: Norms and Alternatives. Logical Aspects of Normative Reasoning, Department of Philosophy, Stockholm University

Nana Cui, Multi-agent Deontic Logics, (co-supervised, from Beijing Normal University)

Steen Vester, Logical and Computational Aspects of Infinite Games (co-supervised, at the Technical University of Denmark)

Amélie David, Towards Synthesizing Open Systems: Tableaux For Multi-Agent Temporal Logics (co-supervised, at Universite' d'Evry Val d'Essonne, France)

Dario della Monica, Expressiveness, decidability, and undecidability of Interval Temporal Logic (co-supervised, at Univ. of Udine)

Ruaan Kellerman, Logical theories of trees, Univ. of the Witwatersrand, Johannesburg

Willem Conradie, Algorithmic correspondence and completeness in modal logic, Univ. of the Witwatersrand, Johannesburg

Guido Sciavicco, Propositional Interval Temporal Logics, (co-supervised, at Univ. of Udine)

Master students

John Lindqvist, A Multi-Agent System for Inductive Learning on Subset Spaces

Adam Ramirez, Counterfactuals and Indeterminism. A generalisation of Schulz's causal semantics

Livia Trusardi (Erasmus exchange student from Univ. of Pavia), Conditional strategic reasoning in extensive form games

Steen Vester, Game-Theoretic and Computational Aspects of Concurrent Game Models

Christian Juul Kisum, Implementation, test, and analysis of some solution concepts for repeated games and imperfect information games

Nan Huo, Epistemic logics and communication protocols for generalized Russian card games

Thomas Vestergaard, Algorithmic design and implementation of tableau-based decision procedure for multi-agent epistemic logics.

Angelo Kyrilov, Incremental tableau tool for testing satisfiability in the linear time temporal logic LTL.

Claudette Robinson (co-supervising with Willem Conradie at the University of Johannesburg) Expressiveness of metric interval logics

Cecilia Coetzee (co-supervising with Willem Conradie at the University of Johannesburg) Representation theorems for interval structures

Wilmari Bekker, Modal logic on rational Kripke structures

Ruaan Kellerman, Logical theories of geometric structures

Govert van Drimmelen, Satisfiability in a logic of games

Charl Ras, Automatically presentable structures

Rainer Schamm, Zero-one laws and almost sure validities on finite structures

Michael Dorfling, Game-theoretic methods in logic

Martin Pienaar, Representation theorems in universal algebra and algebraic logic