Cargando…
Conditional and preferential logics: proof methods and theorem proving
Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implemen...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
IOS Press
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1610034 |
| Sumario: | Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. |
|---|