overly redundant. I found this approach to be both effective and fun. Finally, the book does not assume much (if any) prior knowledge of the field. I have only two negative comments. First, Chapters 4 and 5, while still good, are not as well written as the rest of the book. Second, the author occasionally refers to examples and definitions without telling the reader where the ideas are introduced. As a result, I had to flip through the book looking for text that I remembered reading, but whose details I couldn't recall. This situation may be helped by adding a glossary to future editions. Review of Modal Logic 6 Cambridge Tracts in Theoretical Computer Science ~ 5 3 Patrick Blackburn, Maarten de Rijke, and Yde Venema Cambridge University Press, 2001 Reviewer: P. Daniel Hestand Overview Most people, upon hearing the phrase "modal logic," envision the logic of possibilities or contingent truth. The phrase also brings to mind the notion of truth in all "possible worlds" and even the typical modal operators, O and D. These views, while correct, are somewhat limited in scope. This book attempts (and succeeds, in my opinion) to update that view. The topic of
End of preview. The entire article is 5 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/review-of-modal-logic-cambridge-tracts-in-theoretical-computer-science-mHDYlooTdY
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Review of Modal logic: Cambridge tracts in theoretical computer science #53 by Patrick Blackburn, Maarten de Rijke, and Yde Venema. Cambridge University Press 2001
Reviewer-Hestand, P. Daniel
Follow ACM SIGACT News
, Volume 34 (2)
Association for Computing Machinery – Jun 1, 2003
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
