All Stories

  1. The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games

    Article • ACM Transactions on Computational Logic, October 2022, ACM (Association for Computing Machinery)

    Valentin Goranko

  2. Game-Theoretic Semantics for Alternating-Time Temporal Logic

    Article • ACM Transactions on Computational Logic, July 2018, ACM (Association for Computing Machinery)

    Valentin Goranko

  3. LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE

    Article • The Review of Symbolic Logic, April 2018, Cambridge University Press

    Valentin Goranko

  4. Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +

    Article • ACM Transactions on Computational Logic, December 2015, ACM (Association for Computing Machinery)

    Valentin Goranko