• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Filosofi och religion
      2. Filosofi
      3. Filosofiska discipliner

      Labelled Deduction

      AvMarcello D'Agostino,Dov M. Gabbay

      Inbunden, Engelska, 2000

      Del i serien Applied Logic Series

      1 114 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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, parameterized proofs of metatheoretic properties, and ease of mechanizability. 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.

      Produktinformation

      • Utgivningsdatum:2000-04-30
      • Mått:170 x 244 x 20 mm
      • Vikt:594 g
      • Format:Inbunden
      • Språk:Engelska
      • Serie:Applied Logic Series
      • Antal sidor:267
      • Upplaga:2000
      • Förlag:Kluwer Academic Publishers
      • ISBN:9780792362371

      Utforska kategorier

      • Filosofiska discipliner inom Filosofi och religion

      Mer om författaren

      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.
      Hoppa över listan

      Mer från samma författare

      Marcello D'Agostino, Guilio Giorello, Federico Laudisa - New Essays in Logic and Philosophy of Science, Häftad

      New Essays in Logic and Philosophy of Science

      Marcello D'Agostino, Guilio Giorello, Federico Laudisa

      Häftad, 2010

      346 kr

      Marcello D'Agostino, Dov Gabbay, Costanza Larese - Depth-bounded Reasoning. Classical Propositional Logic, Häftad

      Depth-bounded Reasoning. Classical Propositional Logic

      Marcello D'Agostino, Dov Gabbay, Costanza Larese

      Häftad, 2024

      243 kr

      Hoppa över listan

      Mer från samma serie

      Douglas Walton - Fallacies Arising from Ambiguity, Inbunden
      Del 1

      Fallacies Arising from Ambiguity

      Douglas Walton

      Inbunden, 1996

      2 220 kr

      Heinrich Wansing - Proof Theory of Modal Logic, Inbunden
      Del 2

      Proof Theory of Modal Logic

      Heinrich Wansing

      Inbunden, 1996

      1 667 kr

      Maarten Marx, Yde Venema - Multi-Dimensional Modal Logic, Inbunden

      Multi-Dimensional Modal Logic

      Maarten Marx, Yde Venema

      Inbunden, 1996

      1 113 kr

      S. Akama - Logic, Language and Computation, Inbunden

      Logic, Language and Computation

      S. Akama

      Inbunden, 1997

      1 113 kr

      Maarten de Rijke - Advances in Intensional Logic, Inbunden
      Del 7

      Advances in Intensional Logic

      Maarten de Rijke

      Inbunden, 1997

      1 667 kr

      Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden
      Del 8

      Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

      Wolfgang Bibel, P.H. Schmitt

      Inbunden, 1998

      2 222 kr

      Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden
      Del 9

      Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

      Wolfgang Bibel, P.H. Schmitt

      Inbunden, 1998

      2 222 kr

      Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden
      Del 10

      Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

      Wolfgang Bibel, P.H. Schmitt

      Inbunden, 1998

      1 718 kr

      Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Övrigt

      Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

      Wolfgang Bibel, P.H. Schmitt

      4 212 kr

      Sven Ove Hansson - Textbook of Belief Dynamics, Inbunden

      Textbook of Belief Dynamics

      Sven Ove Hansson

      Inbunden, 1999

      1 668 kr

      Hoppa över listan

      Du kanske också är intresserad av

      J. Posegga, Reiner Hahnle, Dov M. Gabbay, M. D'Agostino - Handbook of Tableau Methods, E-bok

      Handbook of Tableau Methods

      J. Posegga, Reiner Hahnle, Dov M. Gabbay, M. D'Agostino

      E-bok
      2013

      2 862 kr

      M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga - Handbook of Tableau Methods, Häftad

      Handbook of Tableau Methods

      M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

      Häftad, 2010

      2 220 kr

      David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò - Labelled Deduction, Häftad
      Del 17

      Labelled Deduction

      David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò

      Häftad, 2012

      1 113 kr

      Luca Vigano, Sean Matthews, Dov M. Gabbay, M. D'Agostino, David Basin - Labelled Deduction, E-bok

      Labelled Deduction

      Luca Vigano, Sean Matthews, Dov M. Gabbay, M. D'Agostino, David Basin

      E-bok
      2012

      1 413 kr

      M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga - Handbook of Tableau Methods, Inbunden

      Handbook of Tableau Methods

      M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

      Inbunden, 1999

      2 222 kr

      Marcello D'Agostino, Guilio Giorello, Federico Laudisa - New Essays in Logic and Philosophy of Science, Häftad

      New Essays in Logic and Philosophy of Science

      Marcello D'Agostino, Guilio Giorello, Federico Laudisa

      Häftad, 2010

      346 kr

      Marcello D'Agostino, Dov Gabbay, Costanza Larese - Depth-bounded Reasoning. Classical Propositional Logic, Häftad

      Depth-bounded Reasoning. Classical Propositional Logic

      Marcello D'Agostino, Dov Gabbay, Costanza Larese

      Häftad, 2024

      243 kr

      Sebastian Groes, Barry Lewis, Sean Matthews - Kazuo Ishiguro, E-bok

      Kazuo Ishiguro

      Sebastian Groes, Barry Lewis, Sean Matthews

      E-bok
      2011

      579 kr

      Sebastian Groes, Barry Lewis, Sean Matthews - Kazuo Ishiguro, Inbunden

      Kazuo Ishiguro

      Sebastian Groes, Barry Lewis, Sean Matthews

      Inbunden, 2011

      1 613 kr

      Sebastian Groes, Barry Lewis, Sean Matthews - Kazuo Ishiguro, Häftad

      Kazuo Ishiguro

      Sebastian Groes, Barry Lewis, Sean Matthews

      Häftad, 2011

      538 kr