Artículos relacionados a ADVANCES IN MODAL LOGIC, VOLUME 3

ADVANCES IN MODAL LOGIC, VOLUME 3 - Tapa dura

 
9789812381798: ADVANCES IN MODAL LOGIC, VOLUME 3
Tapa dura
ISBN 10: 9812381791 ISBN 13: 9789812381798
Editorial: World Scientific Publishing Co Pte Ltd, 2002

Sinopsis

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on “Advances in Modal Logic”, held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.

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

Reseña del editor

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.

Reseña del editor

"Advances in Modal Logic" is a forum for presenting the results and directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational and philosophical problems to applications in knowledge representation and formal linguistics. This third volume presents substantial advance in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logics, hybrid logics, epistemic logics, combinations of modal logics, tense logic, action logic, provability logic and modal predicate logic.

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

Editorial
World Scientific Publishing Co Pte Ltd
Año de publicación
2002
Idioma
Inglés
ISBN 10 
9812381791
ISBN 13 
9789812381798
Encuadernación
Tapa dura
Número de páginas
424
Editor
Wolter Frank, Wansing Heinrich, De Rijke Maarten, Zakharyaschev Michael
Contacto del fabricante
no disponible
Persona responsable
Mare Nostrum Group B.V.
gpsr@mare-nostrum.co.uk

Doelen 72
Breda
4831 GR
Holanda