Epistemic Logic for (1995)

by Meyer, W van der Hoek