Last update: January 2021
Mail to V.Goranko
Anders Lundstedt Some philosophical aspects of mathematical induction
Karl Nygren Permissive Norms and Permitted Actions
Daniel Ahlsén (at the Department of Mathematics of SU), Combining quantitative and qualitative analysis of multi-player games
John Lindqvist A multi-agent system for inductive learning on subset spaces
Riccardo de Masellis Dynamical multi-agent systems
Antti Kuusisto Model theory of computational logics, postdoc funded by the Finnish Foundation
Dmitry Shkatov Tableaux-based decision methods for multi-agent logics, Claude Leon Foundation postdoc fellow
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)
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
