Logics for epistemic programs

Alexandru Baltag, Lawrence S. Moss

pp. 165-224


This document is unfortunately not available for download at the moment.

Not implemented yet !