I/O Logic in HOL --- First Steps (bibtex)
by Christoph Benzmüller, Xavier Parent
Reference:
I/O Logic in HOL --- First Steps (Christoph Benzmüller, Xavier Parent), Technical report, CoRR, 2018. (https://arxiv.org/abs/1803.09681)
Bibtex Entry:
@techreport{R65,
  Author =	 {Benzm{\"u}ller, Christoph and Parent, Xavier},
  Keywords =	 {own, Higher Order Logic, Deontic Logic, Automated
                  Reasoning, Universal Reasoning},
  Title =	 {I/O Logic in HOL --- First Steps},
  Institution =	 {CoRR},
  Note =	 {\url{https://arxiv.org/abs/1803.09681}},
  Url =		 {http://arxiv.org/abs/1803.09681},
  Year =	 2018
}
Powered by bibtexbrowser