@ARTICLE{De_Nivelle+Schmidt+Hustadt@IGPL2000,
 AUTHOR  = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.},
 TITLE   = {Resolution-Based Methods for Modal Logics},
 JOURNAL = {Logic Journal of the IGPL},
 MONTH   = may,
 VOLUME  = {8},
 NUMBER  = {3},
 PAGES   = {265-292},
 ISSN    = {1367-0751},
 YEAR    = {2000},
 URL     = {http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/pdf/denivelle.pdf},
 ABSTRACT = {In this paper we give an overview of a selection of proof systems for
 propositional modal logics, namely, standard tableaux, 
 modal KE tableaux, modal resolution and translation-based resolution.
 We will concentrate on translation-based resolution methods describing
 different translation-methods and various refinements of resolution.
 We also discuss how tableaux and modal
 resolution methods can be simulated in the general framework of
 resolution.}
}

{"_id":"YQLMfjmyBGvTZMbNt","bibbaseid":"denivelle-schmidt-hustadt-resolutionbasedmethodsformodallogics-2000","author_short":["De Nivelle, H.","Schmidt, R. A.","Hustadt, U."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["De","Nivelle"],"firstnames":["H."],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["R.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Hustadt"],"firstnames":["U."],"suffixes":[]}],"title":"Resolution-Based Methods for Modal Logics","journal":"Logic Journal of the IGPL","month":"May","volume":"8","number":"3","pages":"265-292","issn":"1367-0751","year":"2000","url":"http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/pdf/denivelle.pdf","abstract":"In this paper we give an overview of a selection of proof systems for propositional modal logics, namely, standard tableaux, modal KE tableaux, modal resolution and translation-based resolution. We will concentrate on translation-based resolution methods describing different translation-methods and various refinements of resolution. We also discuss how tableaux and modal resolution methods can be simulated in the general framework of resolution.","bibtex":"@ARTICLE{De_Nivelle+Schmidt+Hustadt@IGPL2000,\n AUTHOR = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.},\n TITLE = {Resolution-Based Methods for Modal Logics},\n JOURNAL = {Logic Journal of the IGPL},\n MONTH = may,\n VOLUME = {8},\n NUMBER = {3},\n PAGES = {265-292},\n ISSN = {1367-0751},\n YEAR = {2000},\n URL = {http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/pdf/denivelle.pdf},\n ABSTRACT = {In this paper we give an overview of a selection of proof systems for\n propositional modal logics, namely, standard tableaux, \n modal KE tableaux, modal resolution and translation-based resolution.\n We will concentrate on translation-based resolution methods describing\n different translation-methods and various refinements of resolution.\n We also discuss how tableaux and modal\n resolution methods can be simulated in the general framework of\n resolution.}\n}\n","author_short":["De Nivelle, H.","Schmidt, R. A.","Hustadt, U."],"key":"De_Nivelle+Schmidt+Hustadt@IGPL2000","id":"De_Nivelle+Schmidt+Hustadt@IGPL2000","bibbaseid":"denivelle-schmidt-hustadt-resolutionbasedmethodsformodallogics-2000","role":"author","urls":{"Paper":"http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/pdf/denivelle.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["resolution","based","methods","modal","logics","de nivelle","schmidt","hustadt"],"title":"Resolution-Based Methods for Modal Logics","year":2000}