|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: M. Kracht (Freie Universität Berlin, II. Mathematisches Institut, Berlin, Germany)Publisher: Elsevier Science & Technology Imprint: North-Holland Volume: v.142 Dimensions: Width: 15.60cm , Height: 3.30cm , Length: 23.40cm Weight: 1.010kg ISBN: 9780444500557ISBN 10: 0444500553 Pages: 576 Publication Date: 17 June 1999 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Out of Print Availability: In Print ![]() Limited stock is available. It will be ordered for you and shipped pending supplier's limited stock. Table of ContentsChapter Headings only. About this Book. Overview. Part 1. The Fundamentals. Algebra, logic and deduction. Fundamentals of modal logic I. Fundamentals of modal logic II. Part 2. The General Theory of Modal Logic. Universal algebra and duality theory. Definability and correspondence. Reducing polymodal logic to monomodal logic. Lattices of modal logics. Part 3. Case Studies. Extensions of K4. Logics of bounded alternativity. Dynamic logic. Index. Bibliography.Reviews...As a whole, the book deserves attention from specialists in the field...The author has succeeded in showing that the use of mathematical (algebraic and topological) tools provides an excellent means for deeper understanding of the theory. Bulletin of the Symbolic Logic Author InformationTab Content 6Author Website:Countries AvailableAll regions |