|
|
|||
|
||||
OverviewModal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, multi-dimensional modal systems have been developed. This book treats multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. It defines and discusses a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Full Product DetailsAuthor: Maarten Marx , Yde VenemaPublisher: Kluwer Academic Publishers Imprint: Kluwer Academic Publishers Edition: 1997 ed. Volume: 4 Dimensions: Width: 15.50cm , Height: 1.50cm , Length: 23.50cm Weight: 1.190kg ISBN: 9780792343455ISBN 10: 079234345 Pages: 239 Publication Date: 30 November 1996 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||