Labelled Deduction (inbunden)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
267
Utgivningsdatum
2000-04-01
Upplaga
2000 ed.
Förlag
Springer
Medarbetare
Basin, David (ed.), D'Agostino, M. (ed.), Gabbay, D. M. (ed.), Matthews, Seán (ed.), Viganò, Luca (ed.)
Illustrationer
XI, 267 p.
Dimensioner
234 x 156 x 18 mm
Vikt
577 g
Antal komponenter
1
Komponenter
1 Hardback
ISBN
9780792362371

Labelled Deduction

av David Basin, M D'Agostino, Dov M Gabbay, Sen Matthews, Luca Vigan
Inbunden,  Engelska, 2000-04-01
1505
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 2 format & utgåvor
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
Visa hela texten

Passar bra ihop

  1. Labelled Deduction
  2. +
  3. Don't Believe Everything You Think

De som köpt den här boken har ofta också köpt Don't Believe Everything You Think av Joseph Nguyen (häftad).

Köp båda 2 för 1697 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

David Basin, M D'Agostino, Dov M Gabbay, Sen Matthews, Luca Vigan

Övrig information

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.

Innehållsförteckning

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.

Du kanske gillar