Mechanised Reasoning and Model Generation for Extended Modal Logics


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… (More)
DOI: 10.1007/978-3-540-24615-2_3

3 Figures and Tables


  • Presentations referencing similar topics