Advances in Modal Logic, Vol. 3

Frank Wolter; Wansing, Heinrich; Maarten De Rijke; Michael Zakharyaschev

ISBN 10: 9812381791 / ISBN 13: 9789812381798

Editore: World Scientific Publishing Company, Incorporated, 2002

Riguardo questo articolo

pp. 424.

Codice articolo 7350980

Dati bibliografici

• Titolo: Advances in Modal Logic, Vol. 3
• Editore: World Scientific Publishing Company, Incorporated
• Data di pubblicazione: 2002
• Lingua: Inglese
• ISBN 10: 9812381791
• ISBN 13: 9789812381798
• Rilegatura: Rilegato
• Condizione: Used

Descrizione articolo

Riassunto

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.