Valentin GorankoValentin Goranko is currently a professor of logic and theoretical philosophy at Stockholm University. He has more than 30 years of university teaching and research experience in mathematics, computer science and philosophy in universities in Bulgari, South Africa, Denmark and Sweden. His main expertise and research interests are in theory and applications of modal and temporal logics to computer science, artificial intelligence, multiagent systems and philosophy. He has authored and co-authored more than 100 publications, including two recent textbooks on logic and discrete mathematics. He is a member of several editorial boards and steering bodies of professional organisations and is currently the vice-president of the Association for Logic, Language and Information (FoLLI). Read More Read Less