
Advances in Modal Logic Volume 9
College Publications (Publisher)
Published on 25. June 2012
Book
Paperback/Softback
592 pages
978-1-84890-068-4 (ISBN)
Description
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.
More details
Language
English
Place of publication
London
United Kingdom
Product notice
Paperback (trade)
Illustrations
black & white illustrations
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 32 mm
Weight
886 gr
ISBN-13
978-1-84890-068-4 (9781848900684)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification