Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.

Regimantas Pliuskevicius Aida Pliuskeviciene Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. 112-128 2005 conf/clima/2005 CLIMA VI http://dx.doi.org/10.1007/11750734_7 db/conf/clima/climaVI2005.html#PliuskeviciusP05