MCK Publications

Papers on MCK, epistemic model checking, and algorithms for epistemic logic.
(Additional papers on other aspects of epistemic logic are available here)

2016

2015

2014

2013

2012

2011

2010

2009

2007

2005

2004

1999

1998

1996

1994