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. ![Theorem Provers for Every Normal Modal Logic [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 1 download @inproceedings{C62,
Address = {Maun, Botswana},
Author = {Tobias Glei{\ss}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},
doi = {10.29007/jsb9},
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","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 Address =\t {Maun, Botswana},\n Author =\t {Tobias Glei{\\ss}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 doi = {10.29007/jsb9},\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":{"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"]}