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

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.
9780792362371
Non-classical logics; First-order logic; Proof systems; Natural deduction; Tableaux systems
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/312359
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact