The University of Southampton
University of Southampton Institutional Repository

A coalgebraic approach to linear-time logics

Cirstea, Corina (2014) A coalgebraic approach to linear-time logics At 17th International Conference on Foundations of Software Science and Computation Structures, France. 05 - 14 Apr 2014. 15 pp, pp. 426-440.

Record type: Conference or Workshop Item (Paper)

Abstract

We extend recent work on defining linear-time behaviour for state-based systems with branching, and propose modal and fixpoint logics for specifying linear-time temporal properties of states in such systems. We model systems with branching as coalgebras whose type arises as the composition of a branching monad and a polynomial endofunctor on the category of sets, and employ a set of truth values induced canonically by the branching monad. This yields logics for reasoning about quantitative aspects of linear-time behaviour. Examples include reasoning about the probability of a linear-time behaviour being exhibited by a system with probabilistic branching, or about the minimal cost of a linear-time behaviour being exhibited by a system with weighted branching. In the case of non-deterministic branching, our logic supports reasoning about the possibility of exhibiting a given linear-time behaviour, and therefore resembles an existential version of the logic LTL

PDF fossacs.pdf - Accepted Manuscript
Download (325kB)

More information

Published date: 2014
Venue - Dates: 17th International Conference on Foundations of Software Science and Computation Structures, France, 2014-04-05 - 2014-04-14
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 373410
URI: http://eprints.soton.ac.uk/id/eprint/373410
ISBN: 978-3-642-54830-7
PURE UUID: fc2d55a8-2e38-406a-a6a6-af6543d6ba64

Catalogue record

Date deposited: 16 Jan 2015 13:42
Last modified: 11 Aug 2017 04:48

Export record

Contributors

Author: Corina Cirstea

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.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×