Vor Ort
Merkzettel Warenkorb
Produktbild: First-Order Modal Logic
Band 480 - 12%

First-Order Modal Logic

Aus der Reihe Synthese Library
12% sparen

111,99 € UVP 128,39 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2024

Abbildungen

XX, 460 p. 1 illus.

Verlag

Springer

Seitenzahl

460

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

721 g

Auflage

Second Edition 2023

Sprache

Englisch

ISBN

978-3-031-40716-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2024

Abbildungen

XX, 460 p. 1 illus.

Verlag

Springer

Seitenzahl

460

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

721 g

Auflage

Second Edition 2023

Sprache

Englisch

ISBN

978-3-031-40716-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: First-Order Modal Logic
  • Preface.- Acknowledgments.- Part I. Background: Propositional Classical Logic. 1. Background: Propositional Language.- 2. Background: Propositional Axiomatics.- 3. Background: Propositional Tableaus.- Part II. Propositional Modal Logic. 4. Modal Logic, an Introduction.- 5. Propositional Modal Logic.- 6. Propositional Modal Axiom Systems.- 7. Propositional Modal Tableaus.- Part III. First-Order Modal Logic. 8. Quantified Modal Logic.- 9. First-Order Modal Tableaus.- 10. First-Order Modal Axiomatics.- Part IV. Equality and Existence. 11. Equality.- 12. Existence.- Part V. Predicate Abstraction and Scope. 13. Predicate Abstraction, Informally.- 14. Predicate Abstraction, Formally.- 15. Tableaus for Predicate Abstraction.- 16. Tableau Soundness and Completeness. Part VI. Applications. 17. Equality and Predicate Abstraction.- 18. Designation.- 19. Rigidity.- 20. Definite Descriptions.- Afterward.