TY  - RPRT
TI  - Embedding and Automating Conditional Logics in Classical Higher-Order Logic
AU  - Christoph Benzmueller
AU  - Dov Gabbay
AU  - Valerio Genovese
AU  - Daniele Rispoli
PY  - 2011
UR  - https://arxiv.org/abs/1106.3685
ID  - 1106.3685
ER  -