{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:49:25Z","timestamp":1760424565223},"reference-count":26,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3650,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s1571-0661(04)80837-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"73-98","source":"Crossref","is-referenced-by-count":9,"special_numbering":"C","title":["Geometric Aspects of Multiagent Systems"],"prefix":"10.1016","volume":"81","author":[{"given":"Timothy","family":"Porter","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"A. Bak, Global Actions: The algebraic counterpart of a topological space, Uspeki Mat. Nauk., English Translation: Russian Math. Surveys, 525, (1997), 955\u2013996.","DOI":"10.1070\/RM1997v052n05ABEH002087"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB2","series-title":"Rings, Hopf Algebras and Brauer Groups","article-title":"Topological Methods in Algebra","author":"Bak","year":"1998"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB3","unstructured":"A. Bak, R. Brown, G. Minian, and T. Porter, Global Actions, Groupoid Atlases and Related Topics, Draft lecture notes, Bangor, 2002."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB4","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB5","doi-asserted-by":"crossref","first-page":"84","DOI":"10.2307\/1969768","article-title":"Homology Groups of Relations","volume":"56","author":"Dowker","year":"1952","journal-title":"Annals of Maths"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB6","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB7","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1093\/jigpal\/8.4.393","article-title":"Algebraic Polymodal Logic: A Survey, published in the","volume":"8","author":"Goldblatt","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB8","unstructured":"E. Goubault, Some Geometric Perspectives in Concurrency Theory, Submitted (2001) (Available from http:\/\/www.di.ens.fr\/~goubault\/GOUBAULTpapers.html)."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB9","unstructured":"J. Goubault-Larrecq and E. Goubault, Order theoretic, geometric and combinatorial models for intuitionistic S4 proofs, in IMLA'99, 1999."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB10","unstructured":"J. Goubault-Larrecq and E. Goubault, On the geometry of Intuitionistic S4 proofs, submitted to Homotopy, Homology and its Applications."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1014326730784","article-title":"An intrinsic homotopy theory for simplicial complexes, with applications to image analysis","volume":"10","author":"Grandis","year":"2002","journal-title":"Appl. Categ. Structures"},{"issue":"3","key":"10.1016\/S1571-0661(04)80837-5_NEWBIB12","first-page":"549","article-title":"Knowledge and Common knowledge in a Distributed Environment","volume":"37","author":"Halpern","year":"1990","journal-title":"J.A.C.M"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB13","series-title":"Theoretical Aspects of Rationality and Knowledge","article-title":"Using counterfactuals in Knowledge-based programming","author":"Halpern","year":"1999"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB14","series-title":"Tools and Techniques in Modal Logic","author":"Kracht","year":"1999"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB15","first-page":"203","article-title":"The connection between the fundamental groupoid and a unification algorithm for syntatactil algebras (Extended Abstract)","volume":"XXXII","author":"Latch","year":"1991","journal-title":"Cahiers Topol. G\u00e9om. Diff cat\u01f5oriques"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB16","doi-asserted-by":"crossref","unstructured":"A. Lomuscio and M. Ryan, On the relation between Interpreted Systems and Kripke Models, Proceedings of the AI97 Workshop on Theoretical and Practical Foundation of Intelligent Agents and Agent-Oriented Systems, Perth (WA), December. Springer lecture notes in AI vol. 1441.","DOI":"10.1007\/BFb0055019"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB17","unstructured":"A. Lomuscio and M. Ryan, Ideal Agents Sharing (some!) knowledge, in Proc. ECAI-98. 13th European Conference on Artificial Intelligence, John Wiley & Sons, 5pp, 1998."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB18","unstructured":"A. Lomuscio and M. Ryan, A spectrum of modes of knowledge sharing between agents, Proceedings of the sixth international workshop on Agent Theories, Architectures, and Languages (ATAL-99), Springer LNAI \u00a9 volume 1757."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB19","doi-asserted-by":"crossref","unstructured":"A. Lomuscio and M. D. Ryan, An algorithmic approach to knowledge evolution, Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), Vol. 13, No. 2 (Special issue on Temporal Logic in Engineering), 23pp, 1999.","DOI":"10.1017\/S0890060499132062"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB20","unstructured":"A. Lomuscio and M. Wooldridge, Multi-Agent VSK Logic, Proceedings of JELIA2000, 7th European Workshop on Logic in Artificial Intelligence. Malaga. October. Springer LNAI \u00a9 volume 1919."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB21","series-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB22","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1023\/A:1007841514938","article-title":"Generalized cofibration categories and global actions","volume":"20","author":"Minian","year":"2000","journal-title":"K-Theory"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB23","first-page":"445","article-title":"Towards a General Approach for Modelling Actions and Change in Cooperating Agents Scenarios","volume":"4","author":"Pfalzgraf","year":"1996","journal-title":"J. of the ICPL"},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB24","unstructured":"T. Porter, Interpreted systems and Kripke models for multiagents systems from a categorical perspective, preprint, UWB, School of Informatics, 2002."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB25","unstructured":"T. Porter, Categorical perspectives on multiagent systems, Research Report, UWB, School of Informatics, in preparation."},{"key":"10.1016\/S1571-0661(04)80837-5_NEWBIB26","unstructured":"D. S. Scott, A new category? Domains, Spaces and Equivalence Relations, Unpublished Manuscript, available http:\/\/www.cs.cmu.edu\/Groups\/LTC\/."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808375?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808375?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:43Z","timestamp":1549191223000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":26,"alternative-id":["S1571066104808375"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80837-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}