Advances in Modal Logic Volume 9 - Couverture souple

 
9781848900684: Advances in Modal Logic Volume 9
Couverture souple
ISBN 10 : 1848900686 ISBN 13 : 9781848900684
Editeur : College Publications, 2012

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
College Publications
Date d'édition
2012
Langue
anglais
ISBN 10 
1848900686
ISBN 13 
9781848900684
Reliure
Broché
Nombre de pages
592
Éditeur
Bolander Thomas, Brauner Torben, Ghilardi Silvio
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Allemagne