Alessio Lomuscio

  • Citations Per Year
Learn More
This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of logic, verification, games and equilibria. More information about the Strategic Workshop series is available at(More)
Halpern and Vardi have proposed the notion of reenement of S5 n Kripke models in order to solve multi-agent problems in which knowledge evolves. We argue that there are some problems with their proposal and attempt to solve them by moving from Kripke models to their corresponding trees. We deene reenement of a tree with a formula, show some properties of(More)
The field of the applications of modal logic to agency is considerable, and it would not be reasonable to be aiming at giving more than an overview of the basic techniques and applications. What we shall do is: • Study basic syntactical, semantical, and proof-theoretical notions of modal logic. • Survey basic concepts of epistemic logic (logic of(More)
  • 1