Expressive quantale-valued logics for coalgebras: an adjunction-based approach

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (4 more authors) (2024) Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: Beyersdorff, O., Kanté, M.M., Kupferman, O. and Lokshtanov, D., (eds.) 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12-14 Mar 2024, Clermont-Ferrand, France. Leibniz International Proceedings in Informatics (LIPIcs), 289 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 10:1-10:19.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Beyersdorff, O.
  • Kanté, M.M.
  • Kupferman, O.
  • Lokshtanov, D.
Copyright, Publisher and Additional Information:

© Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, and Paul Wild; licensed under Creative Commons License CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/)

Keywords: modal logics; coalgebras; behavioural equivalences; behavioural metrics; linear-time semantics; Eilenberg-Moore categories
Dates:
  • Published: 11 March 2024
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 21 Jun 2024 11:46
Last Modified: 23 Jun 2024 01:29
Status: Published
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Refereed: Yes
Identification Number: 10.4230/LIPIcs.STACS.2024.10
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics