Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzufuhren. Die hier naher betrachteten intensionalen Systeme hangen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik naturlicher Sprachen betreffen.
- ISBN10 3528064897
- ISBN13 9783528064891
- Publish Date 1 January 1992
- Publish Status Active
- Publish Country DE
- Imprint Springer Vieweg
- Edition 1992 ed.
- Format Paperback (US Trade)
- Pages 354
- Language German