Kripke's worlds
an introduction to modal logics via tableaux
| ISBN: |
978-3-7643-8503-3 |
|---|---|
| Serie/Reihe: |
Studies in universal logic |
| Beschreibung: |
Register |
| Bibliographie: |
Literaturverz. |
| Beteiligte: |
Birkhäuser (Verlag) |
| Schlagwörter GND Inhalt: |
Tableau Modallogik Mathematische Logik |
| Schlagwörter Library of Congress Subject Headings: |
Nonclassical mathematical logic (US-DLC) |