UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Expressive Logics for Coinductive Predicates

Kupke, Clemens; Rot, Jurriaan; (2020) Expressive Logics for Coinductive Predicates. In: Fernández, Maribel and Muscholl, Anca, (eds.) 28th EACSL Annual Conference on Computer Science Logic. (pp. 26:1-26:18). Dagstuhl Publishing: Wadern, Germany. Green open access

[thumbnail of LIPIcs-CSL-2020-26.pdf]
LIPIcs-CSL-2020-26.pdf - Published version

Download (541kB) | Preview


The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic. In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from bisimilarity to coinductive predicates. We formulate when a logic fully characterises a coinductive predicate on coalgebras, by providing suitable notions of adequacy and expressivity, and give sufficient conditions on the semantics. The approach is illustrated with logics characterising similarity, divergence and a behavioural metric on automata.

Type: Proceedings paper
Title: Expressive Logics for Coinductive Predicates
Event: CSL 2020, January 13–16, 2020, Barcelona, Spain
ISBN-13: 9783959771320
Open access status: An open access version is available from UCL Discovery
DOI: 10.4230/LIPIcs.CSL.2020.26
Publisher version: https://doi.org/10.4230/LIPIcs.CSL.2020.26
Language: English
Additional information: This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): https://creativecommons.org/licenses/by/3.0/
Keywords: Coalgebra, Fibration, Modal Logic
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10092770
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item