Vor Ort
Merkzettel Warenkorb
  • Produktbild: Displaying Modal Logic
  • Produktbild: Displaying Modal Logic
Band 3 - 13%

Displaying Modal Logic

Aus der Reihe Trends in Logic
13% sparen

129,99 € UVP 149,79 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.12.2010

Verlag

Springer Netherland

Seitenzahl

252

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

411 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5079-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.12.2010

Verlag

Springer Netherland

Seitenzahl

252

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

411 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5079-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Displaying Modal Logic
  • Produktbild: Displaying Modal Logic
  • One / Introduction.- Two / Sequents Generalized.- Three / Display Logic.- Four / Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination.- Five / A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics.- Six / Modal Tableaux Based on Residuation.- Seven / Strong Cut-Elimination and Labelled Modal Tableaux.- Eight / Tarskian Structured Consequence Relations and Functional Completeness.- Nine / Constructive Negation and the Modal Logic of Consistency.- Ten / Displaying as Temporalizing.- Eleven / Translation of Hypersequents into Display Sequents.- Twelve / Predicate Logics on Display.- Thirteen / Appendix.