|
|||||
|
|
Labelled Natural Deduction for Conditional Logics of Normality |
|
| Authors: | Broda, Krysia Gabbay, Dov M. Lamb, Luis C. Russo, Alessandra M. |
| Affiliation: | 1 Department of Computing, Imperial College, London SW7 2BZ, E-mail: kb{at}doc.ic.ac.uk 2 Augustus De Morgan Professor of Logic, Department of Computer Science, King's College, London WC2R 2LS, E-mail: dg{at}dcs.kcl.ac.uk 3 Department of Computing, Imperial College, London SW7 2BZ, E-mail: ldcl{at}doc.ic.ac.uk 4 Department of Computing, Imperial College, London SW7 2BZ, E-mail: ar3{at}doc.ic.ac.uk |
| Abstract: | |
| Keywords: | Labelled Deductive Systems Conditional Logic Natural Deduction |
| 本文献已被 Oxford 等数据库收录！ | |