The University of Southampton
University of Southampton Institutional Repository

A modular approach to defining and characterising notions of simulation

Cirstea, Corina, Adámek, J and Milius, S(eds.) (2006) A modular approach to defining and characterising notions of simulation Information and Computation, 204, (4), pp. 469-502. (doi:10.1016/j.ic.2005.04.005).

Record type: Article


We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notions of simulation for such systems, and inductive techniques to define the syntax and semantics of modal logics for coalgebras. We show that the expressiveness of an inductively defined logic for coalgebras w.r.t. a notion of simulation follows from an expressivity condition involving one step in the definition of the logic, and the relator inducing that notion of simulation. Moreover, we show that notions of simulation and associated characterising logics for increasingly complex system types can be derived by lifting the operations used to combine system types, to a relational level as well as to a logical level. We use these results to obtain Baltag’s logic for coalgebraic simulation, as well as notions of simulation and associated logics for a large class of non-deterministic and probabilistic systems.

PDF ic.pdf - Other
Download (352kB)

More information

Published date: April 2006
Keywords: Coalgebra, Simulation, Modal logic, Probabilistic system
Organisations: Electronic & Software Systems


Local EPrints ID: 261880
ISSN: 0890-5401
PURE UUID: a0d819ee-2d99-4ac7-aa7d-c86b84a826e9

Catalogue record

Date deposited: 29 Jan 2006
Last modified: 18 Jul 2017 08:57

Export record



Author: Corina Cirstea
Editor: J Adámek
Editor: S Milius

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.