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

T. Porter

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	235 - 266
Journal	Theoretical Computer Science
Volume	323
Issue number	1-3
DOIs	https://doi.org/10.1016/j.tcs.2004.04.005
Publication status	Published - 1 Sept 2004

Keywords

@article{86e44c8edc5e41bfbe641d7b7f8423fc,

title = "Interpreted systems and Kripke models for multiagent systems from a categorical perspective",

keywords = "COMPUTER SCIENCE, THEORY \& METHODS",

author = "T. Porter",

year = "2004",

month = sep,

day = "1",

doi = "10.1016/j.tcs.2004.04.005",

language = "English",

volume = "323",

pages = "235 -- 266",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

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

AU - Porter, T.

PY - 2004/9/1

Y1 - 2004/9/1

KW - COMPUTER SCIENCE

KW - THEORY & METHODS

U2 - 10.1016/j.tcs.2004.04.005

DO - 10.1016/j.tcs.2004.04.005

M3 - Article

SN - 0304-3975

VL - 323

SP - 235

EP - 266

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -