Modal logic originated in philosophy as the logic of necessity and possibility. This volume offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8–10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 28,66 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: Tiber Books, Cockeysville, MD, USA
Hardcover. Zustand: Very Good. 8vo, hardcover. Vol. 1 only. No dj, maroon cloth. Vg+ condition. Single ex-lib stamp on 1 early pg (only marking), else contents bright, crisp & clean, virtually unopened. 392 pp. Contains a selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996. Bestandsnummer des Verkäufers 1040331.08
Anzahl: 1 verfügbar