|
![]() |
|||
|
||||
Overview""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. Full Product DetailsAuthor: Maarten De Rijke (Univ Of Amsterdam, The Netherlands) , Heinrich Wansing (Dresden Univ Of Technology, Germany) , Frank Wolter (Univ Of Liverpool, Uk) , Michael Zakharyaschev (King's College London, Uk)Publisher: World Scientific Publishing Co Pte Ltd Imprint: World Scientific Publishing Co Pte Ltd Dimensions: Width: 16.20cm , Height: 2.60cm , Length: 23.00cm Weight: 0.708kg ISBN: 9789812381798ISBN 10: 9812381791 Pages: 424 Publication Date: 24 September 2002 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |