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

Displaying Modal Logic

Aus der Reihe Trends in Logic
11% sparen

131,99 € UVP 149,79 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.08.1998

Verlag

Springer Netherland

Seitenzahl

252

Maße (L/B/H)

24,1/16/2 cm

Gewicht

571 g

Auflage

1998

Sprache

Englisch

ISBN

978-0-7923-5205-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.08.1998

Verlag

Springer Netherland

Seitenzahl

252

Maße (L/B/H)

24,1/16/2 cm

Gewicht

571 g

Auflage

1998

Sprache

Englisch

ISBN

978-0-7923-5205-1

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.