Symbolic Model Checking for Temporal-Epistemic Logics1 Alessio Lomuscio Department of Computing Imperial College London London, UK Wojciech Penczek Institute of Computer Science Polish Academy of Sciences Warsaw, Poland and Podlasie Academy Siedlce, Poland Introduction The study of epistemic logics, or logics for the representation of knowledge, has a long and successful tradition in Logic, Computer Science, Economics and Philosophy. Its main motivational thrust is the observation that knowledge of the principals (or agents) in an exchange is fundamental in the study not only of the information they have at their disposal, but also in the analysis of their rational actions and, consequently, of the overall behaviour of the system. It is often remarked that the rst systematic attempts to develop modal formalisms for knowledge date back to the sixties and seventies and in particular to the works of Hintikka [28] and Gettier [37]. The line of work at the time focussed on the adequacy of particular principles, expressed as axioms of modal logic, representing certain properties of knowledge in a rational setting. The standard framework consisted of the propositional normal modal logic S5n [10] built on top of the propositional calculus c A. Lomuscio and W. Penczek, 2007.
End of preview. The entire article is 23 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/symbolic-model-checking-for-temporal-epistemic-logics-RWjyE1o9xW
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Symbolic model checking for temporal-epistemic logics
Lomuscio, Alessio; Penczek, Wojciech
Follow ACM SIGACT News
, Volume 38 (3)
Association for Computing Machinery – Sep 1, 2007
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
