The frontier between decidability and undecidability for logics for strategic reasoning in the presence of imperfect information
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Catalin Dima (Université Paris-Est Créteil.) Abstract: The last 15-20 years have seen a number of logical formalisms that focus on strategic reasoning. These logics aim at giving specification languages …