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},
  Series =	 {EPiC Series in Computing},
  Volume =	 46,
  Pages =	 {14-30},
  Title =	 {Theorem Provers for Every Normal Modal Logic},
  Url =		 {https://easychair.org/publications/paper/340346},
  Year =	 2017,
}
Powered by bibtexbrowser