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.
Preview |
Text
LIPIcs-CSL-2020-26.pdf - Published Version Download (541kB) | Preview |
Abstract
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 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 |
Loading...
Loading...Loading...| 1. |  United States | 2 |
| 2. |  China | 1 |
| 3. |  Japan | 1 |
| 4. |  United Kingdom | 1 |
Archive Staff Only
 |
View Item |
