Artículos relacionados a Advances in Modal Logic Volume 9

Advances in Modal Logic Volume 9 - Tapa blanda

Thomas Bolander

 
9781848900684: Advances in Modal Logic Volume 9
Tapa blanda
ISBN 10: 1848900686 ISBN 13: 9781848900684
Editorial: College Publications, 2012

Sinopsis

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 space,provability logic, dynamic epistemic logic, and the logic of evidence.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
College Publications
Año de publicación
2012
Idioma
Inglés
ISBN 10 
1848900686
ISBN 13 
9781848900684
Encuadernación
Tapa blanda
Número de páginas
592
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania