|
" Labelled Deduction "
edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
775328
|
| Doc. No
|
:
|
b595323
|
| Main Entry
|
:
|
edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
|
| Title & Author
|
:
|
Labelled Deduction\ edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
|
| Publication Statement
|
:
|
Dordrecht : Springer Netherlands, 2000
|
| Series Statement
|
:
|
Applied Logic Series, 17
|
| ISBN
|
:
|
9401057818
|
|
|
:
|
: 9401140405
|
|
|
:
|
: 9789401057813
|
|
|
:
|
: 9789401140409
|
| Contents
|
:
|
Preface. Contributing Authors. Labelled Proof Systems for Intuitionistic Provability; V. Balat, D. Galmiche. Normal Multimodal Logics with Interaction Axioms; M. Baldoni. The SAT Problem of Signed CNF Formulas; B. Beckert, R. Hahnle, F. Manya. Discipline as Logic: Treating Labels as First Class Citizens; P. Blackburn. Labelled Abduction (I); K. Broda, D.M. Gabbay. Labelled Tableaux for Propositional Linear Time Logic over Finite Frames; S. Cerrito, M. Cialdea Mayer. Fibred Modal Tableaux; D.M. Gabbay, G. Governatori. Labelled Deduction for the Guarded Fragment; M. Marx, S. Mikulas, S. Schlobach. Semantics for Temporal Annotated Constraint Logic Programming; A. Raffaeta, T. Fruhwirth. The Logic of Reusable Propositional Output with the Fulfilment Constraint; L. van der Torre.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
Philosophy (General)
|
| Added Entry
|
:
|
David Basin
|
|
|
:
|
Dov M Gabbay
|
|
|
:
|
Luca Viganò
|
|
|
:
|
Marcello D'Agostino
|
|
|
:
|
Seán Matthews
|
| |