عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9401057818
9401140405
9789401057813
9789401140409
b595323
Labelled Deduction
[Book]
edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
Dordrecht
Springer Netherlands
2000
Applied Logic Series, 17
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.
Artificial intelligence.
Logic.
Philosophy (General)
edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
David Basin
Dov M Gabbay
Luca Viganò
Marcello D'Agostino
Seán Matthews
مطالعه متن کتاب [Book]
Y
