Mechanised Reasoning and Model Generation for Extended Modal Logics

Schmidt, R. A. and Hustadt, U. (2003)

In de Swart, H. C. M. and Orlowska, E. and Schmidt, G. and Roubens, M. (eds), Theory and Applications of Relational Structures as Knowledge Instruments. Lecture Notes in Computer Science 2929, Springer, 38-67. Survey commissioned for the Kickoff Volume of COST Action 274. BiBTeX, PDF.

The approach presented in this overview paper exploits that modal logics can be seen to be fragments of first-order logic and deductive methods can be developed and studied within the framework of first-order resolution. We focus on a class of extended modal logics very similar in spirit to propositional dynamic logic and closely related to description logics. We review and discuss the development of decision procedures for decidable extended modal logics and look at methods for automatically generating models.

The previous version is Preprint CSPP-19, University of Manchester, UK. Abstract, BiBTeX, PostScript
Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 19 Feb 04
Copyright © 2003 Renate A. Schmidt, School of Computer Science, Man Univ,