Modal logic /

Autor Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-
Vydáno 2001

Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003 : Stanford, CA, USA, June 23-25, 2003 : proceedings /

Vydáno 2003

Handbook of modal logic /

Vydáno 2007