Mechanised Reasoning and Model Generation for Extended Modal Logics. Schmidt, R. A. & Hustadt, U. Technical Report CSPP-19, University of Manchester, UK, January, 2003. Submitted for publication.Paper abstract bibtex 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.
@TECHREPORT{Schmidt+Hustadt@UoMCS-TR2003,
AUTHOR = {Schmidt, R. A. and Hustadt, U.},
TITLE = {Mechanised Reasoning and Model Generation for Extended Modal Logics},
MONTH = {January},
YEAR = {2003},
TYPE = {Preprint Series},
NUMBER = {CSPP-19},
INSTITUTION = {University of Manchester},
ADDRESS = {UK},
NOTE = {Submitted for publication.} ,
URL = {Schmidt+Hustadt@uOMCS-TR2003.pdf},
ABSTRACT = {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.}
}
Downloads: 0
{"_id":"S6r54xj5A9zEtFPnS","bibbaseid":"schmidt-hustadt-mechanisedreasoningandmodelgenerationforextendedmodallogics-2003","author_short":["Schmidt, R. A.","Hustadt, U."],"bibdata":{"bibtype":"techreport","type":"Preprint Series","author":[{"propositions":[],"lastnames":["Schmidt"],"firstnames":["R.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Hustadt"],"firstnames":["U."],"suffixes":[]}],"title":"Mechanised Reasoning and Model Generation for Extended Modal Logics","month":"January","year":"2003","number":"CSPP-19","institution":"University of Manchester","address":"UK","note":"Submitted for publication.","url":"Schmidt+Hustadt@uOMCS-TR2003.pdf","abstract":"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.","bibtex":"@TECHREPORT{Schmidt+Hustadt@UoMCS-TR2003,\n AUTHOR = {Schmidt, R. A. and Hustadt, U.},\n TITLE = {Mechanised Reasoning and Model Generation for Extended Modal Logics},\n MONTH = {January},\n YEAR = {2003},\n TYPE = {Preprint Series},\n NUMBER = {CSPP-19},\n INSTITUTION = {University of Manchester},\n ADDRESS = {UK},\n NOTE = {Submitted for publication.} ,\n URL = {Schmidt+Hustadt@uOMCS-TR2003.pdf},\n ABSTRACT = {The approach presented in this overview paper exploits\n that modal logics can be seen to be fragments of first-order logic and\n deductive methods can be developed and studied within the framework of\n first-order resolution. We focus on a class of extended modal logics\n very similar in spirit to propositional dynamic logic and closely\n related to description logics. We review and discuss the development\n of decision procedures for decidable extended modal logics and look at\n methods for automatically generating models.} \n}\n\n\n","author_short":["Schmidt, R. A.","Hustadt, U."],"key":"Schmidt+Hustadt@UoMCS-TR2003","id":"Schmidt+Hustadt@UoMCS-TR2003","bibbaseid":"schmidt-hustadt-mechanisedreasoningandmodelgenerationforextendedmodallogics-2003","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Schmidt+Hustadt@uOMCS-TR2003.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["mechanised","reasoning","model","generation","extended","modal","logics","schmidt","hustadt"],"title":"Mechanised Reasoning and Model Generation for Extended Modal Logics","year":2003}