8 citations · 9 across the 5 of their papers we have counts for
5 papers
Alternating (In)Dependence-Friendly Logic
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
Hintikka and Sandu originally proposed Independence Friendly Logic (IF) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantic…
Quantifying over Trees in Monadic Second-Order Logic
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero +1
Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with variables ranging over sets and quantifications over those variables. We introduce and study Monadic Tree Logic…
A Delayed Promotion Policy for Parity Games
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Parity games are two-player infinite-duration games on graphs that play a crucial role in various fields of theoretical computer science. Finding efficient algorithms to solve thes…
On the Remarkable Features of Binding Forms
Fabio Mogavero, Giuseppe Perelli
Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order…
Proceedings 2nd International Workshop on Strategic Reasoning
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
This volume contains the proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), held in Grenoble (France), April 5-6, 2014. The SR workshop aims to br…