Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Logics of Proofs and Justifications
Produkt bewerten
Erhältlich:
Nicht auf Lager
Zustellung: Di, 23.12.2025
Versand: Kostenlos
CHF 45.40
Beschreibung
Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as form...
Spezifikationen
Sprache
- Englisch
Autor
- Thomas Studer
- Roman Kuznets
Thema
- Mathematik: Allgemein
Erscheinungsjahr
- 2019
Format
- Buch (Softcover)
Anzahl Seiten
- 246