Labelled Deduction
edited by
David Basin
Albert-Ludwigs-Universität Freiburg, Germany
Marcello D'Agostino
Università di Ferrara, Italy
Dov M. Gabbay
King's College, Dept. of Computer Science, London, UK
Seán Matthews
Logica GmbH, Frankfurt am Main, Germany
Luca Viganò
Albert-Ludwigs-Universität Freiburg, Germany
Applied Logic Series Vol.17
Kluwer Academic Publishers, Dordrecht
Hardbound, May 2000, 280 pp.
ISBN 0-7923-6237-3
You can order the book from Kluwer's website.
Contents and Contributors
- Preface - D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews,
L. Viganò
- 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.
Hähnle, F. Manyà
- 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. Mikulás, S. Schlobach
- Semantics for Temporal Annotated Constraint Logic Programming -
A. Raffaetà, T. Frühwirth
- The Logic of Reusable Propositional Output with the Fulfilment
Constraint - L. van der Torre