Theorem Provers for Every Normal Modal Logic (bibtex)

by Tobias Gleißner, Alexander Steen, Christoph Benzmüller

Reference:

Theorem Provers for Every Normal Modal Logic (Tobias Gleißner, Alexander Steen, Christoph Benzmüller), In LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Thomas Eiter, David Sands, eds.), EasyChair, EPiC Series in Computing, volume 46, pp. 14-30, 2017.

Bibtex Entry:

@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}, Year = 2017, }