Theorem Provers for Every Normal Modal Logic

Theorem Provers for Every Normal Modal Logic. Gleißner, T., Steen, A., & Benzmüller, C. In Eiter, T. & Sands, D., editors, LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 46, of EPiC Series in Computing, pages 14–30, Maun, Botswana, 2017. EasyChair.

Dblp

Paper doi bibtex 1 download

@inproceedings{C62,
  urlDBLP = {https://dblp.org/rec/conf/lpar/GleissnerSB17.html},
  Address =	 {Maun, Botswana},
  Author =	 {Tobias Glei{ß}ner and Alexander Steen and
                  Christoph Benzm{\"u}ller},
  Booktitle =	 {LPAR-21. 21st International Conference on Logic for
                  Programming, Artificial Intelligence and Reasoning},
  Editor =	 {Thomas Eiter and David Sands},
  Keywords =	 {own, Modal Logic, Higher Order Modal Logic, Higher
                  Order Logic, Automated Reasoning},
  Publisher =	 {EasyChair},
  issn =	 {2398-7340},
  Series =	 {EPiC Series in Computing},
  Volume =	 46,
  Pages =	 {14--30},
  Doi =		 {10.29007/jsb9},
  Title =	 {Theorem Provers for Every Normal Modal Logic},
  url =		 {https://easychair.org/publications/paper/6bjv},
  Year =	 2017,
}

Downloads: 1

{"_id":"xHAe4AvQXt5eB58Jf","bibbaseid":"gleiner-steen-benzmller-theoremproversforeverynormalmodallogic-2017","authorIDs":[],"author_short":["Gleißner, T.","Steen, A.","Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","urldblp":"https://dblp.org/rec/conf/lpar/GleissnerSB17.html","address":"Maun, Botswana","author":[{"firstnames":["Tobias"],"propositions":[],"lastnames":["Gleißner"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"booktitle":"LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning","editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"keywords":"own, Modal Logic, Higher Order Modal Logic, Higher Order Logic, Automated Reasoning","publisher":"EasyChair","issn":"2398-7340","series":"EPiC Series in Computing","volume":"46","pages":"14–30","doi":"10.29007/jsb9","title":"Theorem Provers for Every Normal Modal Logic","url":"https://easychair.org/publications/paper/6bjv","year":"2017","bibtex":"@inproceedings{C62,\n urlDBLP = {https://dblp.org/rec/conf/lpar/GleissnerSB17.html},\n Address =\t {Maun, Botswana},\n Author =\t {Tobias Glei{ß}ner and Alexander Steen and\n Christoph Benzm{\\\"u}ller},\n Booktitle =\t {LPAR-21. 21st International Conference on Logic for\n Programming, Artificial Intelligence and Reasoning},\n Editor =\t {Thomas Eiter and David Sands},\n Keywords =\t {own, Modal Logic, Higher Order Modal Logic, Higher\n Order Logic, Automated Reasoning},\n Publisher =\t {EasyChair},\n issn =\t {2398-7340},\n Series =\t {EPiC Series in Computing},\n Volume =\t 46,\n Pages =\t {14--30},\n Doi =\t\t {10.29007/jsb9},\n Title =\t {Theorem Provers for Every Normal Modal Logic},\n url =\t\t {https://easychair.org/publications/paper/6bjv},\n Year =\t 2017,\n}\n\n","author_short":["Gleißner, T.","Steen, A.","Benzmüller, C."],"editor_short":["Eiter, T.","Sands, D."],"key":"C62","id":"C62","bibbaseid":"gleiner-steen-benzmller-theoremproversforeverynormalmodallogic-2017","role":"author","urls":{"Dblp":"https://dblp.org/rec/conf/lpar/GleissnerSB17.html","Paper":"https://easychair.org/publications/paper/6bjv"},"keyword":["own","Modal Logic","Higher Order Modal Logic","Higher Order Logic","Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","creationDate":"2019-07-02T21:19:47.729Z","downloads":1,"keywords":["own","modal logic","higher order modal logic","higher order logic","automated reasoning"],"search_terms":["theorem","provers","normal","modal","logic","gleißner","steen","benzmüller"],"title":"Theorem Provers for Every Normal Modal Logic","year":2017,"dataSources":["ChWnbF8EqSa8nccMs","ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"]}