Journal and Conference Papers

You might also want to check my page on DBLP.


  • F. Belardinelli, W. van der Hoek, and L. B. Kuijer; Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence. Accepted for publication.

  • F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Decidable Verification of Multi-agent Systems with Bounded Private Actions (extended abstract). Proc. of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS18), Stockholm, 2018.

2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2004