Hybrid Logic and its Proof-Theory als Taschenbuch
PORTO-
FREI

Hybrid Logic and its Proof-Theory

Auflage 2011. XIII, 231 p. Paperback. Sprache: Englisch.
Taschenbuch
Ihr 15%-Rabatt
 
15% Rabatt10 sichern mit Gutscheincode: MAI15
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview … weiterlesen
Dieser Artikel ist auch verfügbar als:
Taschenbuch

149,99 *

inkl. MwSt.
Portofrei
Versand in 3 Tagen
Zustellung: Sa, 21.05. - Di, 24.05.
  • Bewerten
  • Empfehlen
Hybrid Logic and its Proof-Theory als Taschenbuch

Produktdetails

Titel: Hybrid Logic and its Proof-Theory
Autor/en: Torben Braüner

ISBN: 9400734352
EAN: 9789400734357
Auflage 2011.
XIII, 231 p.
Paperback.
Sprache: Englisch.
Springer Netherlands

2. Januar 2013 - kartoniert - 248 Seiten

Beschreibung

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

Inhaltsverzeichnis

Preface,.- 1 Introduction to Hybrid Logic.- 2 Proof-Theory of Propositional Hybrid Logic .- 3 Tableaus and Decision Procedures for Hybrid Logic .- 4 Comparison to Seligman's Natural Deduction System .- 5 Functional Completeness for a Hybrid Logic .- 6 First-Order Hybrid.- 7 Intensional First-Order Hybrid Logic.- 8 Intuitionistic Hybrid Logic.- 9 Labelled Versus Internalized Natural Deduction .- 10 Why does the Proof-Theory of Hybrid Logic Behave soWell? - References .- Index.

Pressestimmen

From the reviews: "...the present book is a coherent, unified, and very readable entity. Throughout the discussion is clear, informative, and natural. It can be recommended as a book to read, as well as to consult, after a basic exposure to hybrid logics. The book ends with a somewhat philosophical discussion... I will not try to summarize the author's points. I will say I enjoyed the discussion. And the book." Melvin Fitting The Graduate School and University Center City University of New York New York, USA "This book grew out of nine research papers of the author, two of which are coauthored by T. Bolander and, respectively, V. de Paiva. The papers were converted into harmonically synchronized chapters of the book, which will certainly appeal to the reader ... . The book contains lots of corresponding results, covering all important cases. ... Undoubtedly, Brauner's monograph fills a gap in the hybrid logic literature in a desirable way." (Bernhard Heinemann, Zentralblatt MATH, Vol. 1217, 2011)

Mehr aus dieser Reihe

zurück
Proof Theory for Fuzzy Logics
Taschenbuch
von Dov M. Gabbay, G…
Analysis and Synthesis of Logics
Taschenbuch
von Walter Carnielli…
Rigid Flexibility
Taschenbuch
von Pei Wang
Reasoning Robots
Taschenbuch
von Michael Thielsch…
The Death of Argument
Taschenbuch
von J. H. Woods
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Sicher & bequem bezahlen:
Bleiben Sie in Kontakt:
Hugendubel App
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Durch Öffnen der Leseprobe willigen Sie ein, dass Daten an den Anbieter der Leseprobe übermittelt werden.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

10 Ihr Gutschein MAI15 gilt bis einschließlich 20.05.2022. Sie können den Gutschein ausschließlich online einlösen unter www.hugendubel.de. Keine Bestellung zur Abholung mit Zahlung in der Filiale möglich. Der Gutschein ist nicht gültig für gesetzlich preisgebundene Artikel (deutschsprachige Bücher und eBooks) sowie für preisgebundene Kalender, Tonieboxen, tolino eReader und tolino select. Der Gutschein ist nicht mit anderen Gutscheinen und Geschenkkarten kombinierbar. Eine Barauszahlung ist nicht möglich. Ein Weiterverkauf und der Handel des Gutscheincodes sind nicht gestattet.

12 Bestellungen ins Ausland und der DHL-Paketversand sind von der portofreien Lieferung ausgeschlossen. Gültig bis 30.06.2022.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.