Advances in Modal Logic Volume 9

Thomas Bolander

ISBN 10: 1848900686 / ISBN 13: 9781848900684

Published by College Publications Jun 2012, 2012

About this Item

Neuware - Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch ofphilosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics.This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. Thetopics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and spaceprovability logic, dynamic epistemic logic, and the logic of evidence.

Seller Inventory # 9781848900684

Bibliographic Details

• Title: Advances in Modal Logic Volume 9
• Publisher: College Publications Jun 2012
• Publication Date: 2012
• Language: English
• ISBN 10: 1848900686
• ISBN 13: 9781848900684
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 234W x 156H x 32D millimeters 234 millimeters width by 156 millimeters height by 32 millimeters depth
• Weight: 886 grams

About this title

Synopsis

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.