Implementing Different Proof Calculi for First-order Modal Logics (bibtex)
by Christoph Benzmüller, Jens Otten, Thomas Raths
Reference:
Implementing Different Proof Calculi for First-order Modal Logics (Christoph Benzmüller, Jens Otten, Thomas Raths), In PAAR-2012 (Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, eds.), EasyChair, EPiC Series in Computing, volume 21, pp. 12-18, 2013.
Bibtex Entry:
@inproceedings{W48,
  Author =	 {Christoph Benzm\"uller and Jens Otten and Thomas
                  Raths},
  Booktitle =	 {PAAR-2012},
  Editor =	 {Pascal Fontaine and Renate A. Schmidt and Stephan
                  Schulz},
  issn =	 {2398-7340},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning,
                  Semantic Embedding, Modal Logics},
  Pages =	 {12-18},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {Implementing Different Proof Calculi for First-order
                  Modal Logics},
  Url =
                  {http://www.easychair.org/publications/?page=1303066787},
  Volume =	 21,
  Year =	 2013,
  Doi =		 {10.29007/mclw},
}
Powered by bibtexbrowser