- AutorIn
- Michael Zakharyaschev
- Frank Wolter
- Alexander Chagrov
- Titel
- Advanced Modal Logic
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-318897
- Quellenangabe
- Handbook of Philosophical Logic Erscheinungsort: Dordrecht
Verlag: Springer
Erscheinungsjahr: 2001
Jahrgang: 3
Seiten: 83-266
ISBN: 978-90-481-5765-5 - Erstveröffentlichung
- 2001
- Abstract (EN)
- This chapter is a continuation of the preceding one, and we begin it at the place where the authors of Basic Modal Logic left us about fifteen years ago. Concluding his historical overview, Krister Segerberg wrote: “Where we stand today is difficult to say. Is the picture beginning to break up, or is it just the contemporary observer’s perennial problem of putting his own time into perspective?” So, where did modal logic of the 1970s stand? Where does it stand now? Modal logicians working in philosophy, computer science, artificial intelligence, linguistics or some other fields would probably give different answers to these questions. Our interpretation of the history of modal logic and view on its future is based upon understanding it as part of mathematical logic.
- Freie Schlagwörter (EN)
- Modal logic, Modal algebra, Kripke frame, Tense logic, Superintuitionstic logic
- Klassifikation (DDC)
- 511.314
- Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa2-318897
- Veröffentlichungsdatum Qucosa
- 12.10.2018
- Dokumenttyp
- Artikel
- Sprache des Dokumentes
- Deutsch