Advances in Modal Logic, Volume 2
Seiten
2001
Centre for the Study of Language & Information (Verlag)
978-1-57586-272-9 (ISBN)
Centre for the Study of Language & Information (Verlag)
978-1-57586-272-9 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
This volume presents a broad, contemporary view of the field of modal logic, with contributions covering its foundations as well as its many application areas, such as artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy.
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. It is the main source of formal languages aimed at analyzing complex notions such as common knowlwdge and formal provability. This volume presents a broad, contemporary view of the field, with contributions covering the foundations of modal logic as well as its many application areas.
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. It is the main source of formal languages aimed at analyzing complex notions such as common knowlwdge and formal provability. This volume presents a broad, contemporary view of the field, with contributions covering the foundations of modal logic as well as its many application areas.
| Erscheint lt. Verlag | 3.10.2001 |
|---|---|
| Reihe/Serie | Lecture Notes |
| Verlagsort | Stanford |
| Sprache | englisch |
| Maße | 16 x 22 mm |
| Gewicht | 652 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-57586-272-7 / 1575862727 |
| ISBN-13 | 978-1-57586-272-9 / 9781575862729 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
