Formal Semantics of Temporal Epistemic Reflection.

Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur

Browse the full LOPSTR paper archive.