Last update: February 2025
Mail to V.Goranko
Anders Lundstedt: Some philosophical aspects of mathematical induction (supervised at Stockholm University)
Diamant Pireva (co-supervised at the University of Queensland, Australia): Model-theoretic study of strategy logics
Wei Wang (co-supervised at Tsinghua University, Beijing): Logics for reasoning about multi-agent systems with imperfect information
Sisi Yang (co-supervised at Tsinghua University, Beijing): Representation theorems and modal logics for subset spaces
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
Chantel Marais (co-supervised, at the University of the Witwatersrand, Johannesburg, South Africa): Temporal logics of trees
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)
Johan van Rooyen (co-supervised, at the University of Pretoria, South Africa): Synthesis of Nash Equilibrium Strategies with Quantitative and Qualitative Objectives
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
