Advances in Modal Logic: Volume 1: 87 (Center for the Study of Language and Information Publication Lecture Notes) - Hardcover

Hardcover

ISBN 10: 1575861038 ISBN 13: 9781575861036

Verlag: The Center for the Study of Language and Information Publications, 1998

Inhaltsangabe

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.

Über diesen Titel

Reseña del editor

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.

Details zur Ausgabe

• Verlag: The Center for the Study of Language and Information Publications
• Erscheinungsdatum: 1998
• Sprache: Englisch
• ISBN 10: 1575861038
• ISBN 13: 9781575861036
• Einband: Tapa dura
• Anzahl der Seiten: 408
• Herausgeber: Kracht Marcus, Rijke Maarten De, Wansing Heinrich, Zakharyaschev Michael
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar