Quantified Conditional Logics are Fragments of HOL (bibtex)
by Christoph Benzmueller, Valerio Genovese
Reference:
Quantified Conditional Logics are Fragments of HOL (Christoph Benzmueller, Valerio Genovese), In International Conference on Non-classical Modal and Predicate Logic - NCMPL 2011, 2011. (to appear)
Bibtex Entry:
@InProceedings{Benzmueller2011,
  Title                    = {Quantified Conditional Logics are Fragments of HOL},
  Author                   = {Christoph Benzmueller and Valerio Genovese},
  Booktitle                = {International Conference on Non-classical Modal and Predicate Logic - NCMPL 2011},
  Year                     = {2011},
  Note                     = {to appear},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser