29,25 €*
Versandkostenfrei per Post / DHL
auf Lager, Lieferzeit 1-2 Werktage
Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.
This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject.
Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.
This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject.
| Erscheinungsjahr: | 2019 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 246 |
| ISBN-13: | 9781848901681 |
| ISBN-10: | 1848901682 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Kuznets, Roman
Studer, Thomas |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 14 mm |
| Von/Mit: | Roman Kuznets (u. a.) |
| Erscheinungsdatum: | 02.04.2019 |
| Gewicht: | 0,38 kg |
| Erscheinungsjahr: | 2019 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 246 |
| ISBN-13: | 9781848901681 |
| ISBN-10: | 1848901682 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Kuznets, Roman
Studer, Thomas |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 14 mm |
| Von/Mit: | Roman Kuznets (u. a.) |
| Erscheinungsdatum: | 02.04.2019 |
| Gewicht: | 0,38 kg |
Ähnliche Produkte
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
Aktuell nicht verfügbar
Lieferzeit 2-3 Wochen
Lieferzeit 2-3 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
