A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Mechanised Reasoning and Model Generation for Extended Modal Logics
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
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 firstorder 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.
doi:10.1007/978-3-540-24615-2_3
fatcat:jypyr3tokzhh7erjlyu5faipsi