Computational Modal Logic

Horrocks, I. and Hustadt, U. and Sattler, U. and Schmidt, R. A. (2007)

In Blackburn, P. and van Benthem, J. and Wolter, F. (eds), Handbook of Modal Logic. Studies in Logic and Practical Reasoning, Volume 3, Elsevier, Amsterdam, 181-245. Link to Elsevier, BiBTeX.

Commissioned overview paper.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 07 Dec 06
Copyright © 2006-7 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk