PhD, Professor (ThPh), phone 674 79 84, valentin.goranko@philosophy.su.se Logic: theory and applications to artificial intelligence, agency and multi-agent systems, computer science, and game theory