0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Advances in Modal Logic Volume 9 (Paperback, New) Loot Price: R883
Discovery Miles 8 830
Advances in Modal Logic Volume 9 (Paperback, New): Thomas Bolander, Torben Brauner, Silvio Ghilardi

Advances in Modal Logic Volume 9 (Paperback, New)

Thomas Bolander, Torben Brauner, Silvio Ghilardi

 (sign in to rate)
Loot Price R883 Discovery Miles 8 830 | Repayment Terms: R83 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: College Publications
Country of origin: United Kingdom
Release date: June 2012
First published: June 2012
Editors: Thomas Bolander • Torben Brauner • Silvio Ghilardi
Dimensions: 234 x 156 x 30mm (L x W x T)
Format: Paperback - Trade
Pages: 592
Edition: New
ISBN-13: 978-1-84890-068-4
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Philosophy > Topics in philosophy > Logic
LSN: 1-84890-068-6
Barcode: 9781848900684

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners