Embedding and Automating Conditional Logics in Classical Higher-Order Logic (bibtex)
by Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli
Reference:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), Technical report, Freie Universität Berlin, Germany, 2011. (arXiv:1106.3685)
Bibtex Entry:
@techreport{R52,
  Author =	 {Christoph Benzm{\"u}ller and Dov Gabbay and Valerio
                  Genovese and Daniele Rispoli},
  Institution =	 {Freie Universit{\"at} Berlin, Germany},
  Note =	 {arXiv:1106.3685},
  Title =	 {Embedding and Automating Conditional Logics in
                  Classical Higher-Order Logic},
  Url =		 {http://arxiv.org/abs/1106.3685},
  Year =	 2011,
}
Powered by bibtexbrowser