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 1

Heinrich Wansing

0/5 ( ratings)

Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.

Language: English

Pages: 400

Format: Paperback

Publisher: Center for the Study of Language and Inf

Release: February 03, 2004

ISBN: 157586102X

ISBN 13: 9781575861029

Advances in Modal Logic, Volume 1

Heinrich Wansing

0/5 ( ratings)

Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.

Language: English

Pages: 400

Format: Paperback

Publisher: Center for the Study of Language and Inf

Release: February 03, 2004

ISBN: 157586102X

ISBN 13: 9781575861029

More books from Heinrich Wansing

Proof Theory of Modal Logic

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)

Ifcolog Journal of Logics and Their Applications. Volume 3, Number 3: Connexive Logics

Rate this book!

Write a review?