Author of the publication

Logics for Reasoning About Strategic Abilities in Multi-player Games.

, , and . Models of Strategic Reasoning, volume 8972 of Lecture Notes in Computer Science, Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

State and path coalition effectivity models for logics of multi-player games., and . AAMAS, page 1123-1130. IFAAMAS, (2012)Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees., and . J. Symb. Log., 86 (3): 1035-1065 (2021)Knowledge-based strategies for multi-agent teams playing against Nature., , and . Artif. Intell., (2022)Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature., , and . CoRR, (2020)CTL with Finitely Bounded Semantics., , and . TIME, volume 90 of LIPIcs, page 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA., , and . Logical Methods in Computer Science, (2006)Towards a Logic for Conditional Local Strategic Reasoning., and . LORI, volume 11813 of Lecture Notes in Computer Science, page 112-125. Springer, (2019)The Modal Logic of Almost Sure Frame Validities in the Finite.. AiML, page 249-268. College Publications, (2020)A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle., , and . Advances in Modal Logic, page 407-426. College Publications, (2018)On Decidability and Expressiveness of Propositional Interval Neighborhood Logics., , , and . LFCS, volume 4514 of Lecture Notes in Computer Science, page 84-99. Springer, (2007)