Dynamic Epistemic Logics of Introspection.

Raul Fervari, Fernando R. Velzquez-Quesada

Browse the full TABLEAUX paper archive.