Valentin Goranko is a contemporary logician and philosopher specializing in logics of agency, strategic reasoning, and multi-agent systems. His work bridges formal logic, game theory, and epistemology, with significant contributions to temporal and modal logics used in analyzing rational agency and game-theoretic reasoning.
Contributed to the development of logics for strategic reasoning in multi-agent systems
Advanced work on Alternating-time Temporal Logic (ATL) and its extensions
Published extensively on temporal, modal, and epistemic logics
Authored the textbook 'Logic as a Tool: A Guide to Formal Logical Reasoning'
Analyzed plausibility updates and belief revision in sequential game reasoning