Advances in Modal Logic - Rilegato

Zakharyaschev, Michael; Segerberg, Krister; De Rijke, Maarten; Wansing, Heinrich

Rilegato

ISBN 10: 1575862719 ISBN 13: 9781575862712

Casa editrice: Stanford Univ Center for the Study, 2001

Riassunto

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.

Dettagli dell'edizione

• Editore: Stanford Univ Center for the Study
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 1575862719
• ISBN 13: 9781575862712
• Rilegatura: Copertina rigida
• Numero di pagine: 485
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile