Formalized Soundness and Completeness of Epistemic Logic.

Asta Halkjr From

Browse the full WoLLIC paper archive.