ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Theoretical Computer Science
Volume 323, Issues 1-3, 14 September 2004, Pages 235-266
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (341 K)

  E-mail Article   
  Add to my Quick Links   
Bookmark and share in 2collab (opens in new window)
Request permission to reuse this article
  Cited By in Scopus (0)
 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.tcs.2004.04.005    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2004 Elsevier B.V. All rights reserved.

Interpreted systems and Kripke models for multiagent systems from a categorical perspective

Timothy PorterCorresponding Author Contact Information, E-mail The Corresponding Author

School of Informatics, University of Wales Bangor, Bangor, Gwynedd, LL57 1UT, Wales, UK

Received 5 March 2003; 
Revised 16 April 2004; 
accepted 23 April 2004
Communicated by U. Montanari 
Available online 19 May 2004.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

Both Kripke models and interpreted systems have been put forward as basic models of multi-agent systems and for reasoning about Knowledge in such systems. This paper enriches previous comparisons of these two forms of semantics by considering categories of models in both cases and then shows that constructions given by Lomuscio and Ryan, extend to give an adjoint equivalence between the two settings. This equivalence is exploited in a discussion of colimits of interpreted systems.

Author Keywords: Categorical models; Knowledge representation; Epistemic logic; Multiagent systems

Article Outline

• References

Theoretical Computer Science
Volume 323, Issues 1-3, 14 September 2004, Pages 235-266
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.