Author:
van der Hoek Wiebe,Jaspars Jan,Thijsse Elias
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. H. Andréka, J. van Benthem & I. Németi, ‘Back and Forth Between Modal Logic and Classical Logic’, Journal of the IGPL, Vol.3, No. 5, pp. 685–720, 1995.
2. J. van Benthem, Language in Action. Categories, Lambdas and Dynamic Logic, North-Holland, Amsterdam, 1991.
3. B.F. Chellas, Modal Logic. An Introduction, Cambridge University Press, 1980.
4. H.-D. Ebbinghaus & J. Flum, Finite model theory, Springer-Verlag, Berlin, 1995.
5. J.Y. Halpern, ‘Theory of Knowledge and Ignorance for Many Agents’, in Journal of Logic and Computation, 7 No. 1, pp. 79–108, 1997.