Buch

---

Übersicht

---

Verlag	:	Springer Netherland
Buchreihe	:	Applied Logic Series (Bd. 17)
Sprache	:	Englisch
Erschienen	:	08. 10. 2012
Seiten	:	267
Einband	:	Kartoniert
Höhe	:	235 mm
Breite	:	155 mm
Gewicht	:	438 g
ISBN	:	9789401057813
Sprache	:	Englisch

---

Autorinformation

---

Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.

Inhaltsverzeichnis

---

Labelled Proof Systems for Intuitionistic Provability.- Normal Multimodal Logics with Interaction Axioms.- The SAT Problem of Signed CNF Formulas.- Discipline as Logic: Treating Labels as First Class Citizens.- Labelled Abduction.- Labelled Tableaux for Propositional Linear Time Logic over Finite Frames.- Fibred Modal Tableaux.- Labelled Deduction for the Guarded Fragment.- Semantics for Temporal Annotated Constraint Logic Programming.- Alessandra Raffaetà.- The Logic of Reusable Propositional Output with the Fulfilment Constraint.

Deine Buchhandlung

---