Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Advances in Modal Logic, Volume 3

Heinrich Wansing

0/5 ( ratings)

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 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.

Pages: 415

Format: ebook

Publisher: World Scientific Publishing Company

Release: January 10, 2010

ISBN: 1281929190

ISBN 13: 9781281929198

Advances in Modal Logic, Volume 3

Heinrich Wansing

0/5 ( ratings)

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 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.

Pages: 415

Format: ebook

Publisher: World Scientific Publishing Company

Release: January 10, 2010

ISBN: 1281929190

ISBN 13: 9781281929198

More books from Heinrich Wansing

Proof Theory of Modal Logic

Dag Prawitz on Proofs and Meaning

Negation: A Notion in Focus

Recent Trends in Philosophical Logic

Essays on Non-Classical Logic Volume 1

Recent Trends in Philosophical Logic

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science Book 5293)

Truth and Falsehood: An Inquiry Into Generalized Logical Values

Truth and Falsehood: An Inquiry into Generalized Logical Values (Trends in Logic)

Advances in Modal Logic, Volume 1

Rate this book!

Write a review?