Advances in Modal Logic Volume 9

Thomas Bolander (u. a.)

ISBN 10: 1848900686 / ISBN 13: 9781848900684

Editore: College Publications, 2012

Advances in Modal Logic Volume 9 | Thomas Bolander (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2012 | College Publications | EAN 9781848900684 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu. Codice articolo 106392534

Riassunto:

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.

Product Description: Book by None

Dati bibliografici

Titolo: Advances in Modal Logic Volume 9
Casa editrice: College Publications
Data di pubblicazione: 2012
Legatura: Taschenbuch
Condizione: Neu