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.
Labelled Deduction
VIGANO', Luca
2000-01-01
Abstract
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
