Beohar, Harsh; König, Barbara; Forster, Jonas; Wild, Paul; Gurke, Sebastian; Messing, Karla; Schröder, Lutz:
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
In: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) / Beyersdorff, Olaf; Kante, Mamadou; Kupferman, Orna; Lokshtanov, Daniel (Eds.). - Symposium on Theoretical Aspects of Computer Science (STACS) - Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2024 - (LIPIcs - Leibniz International Proceedings in Informatic ; 289), Article 10
2024book article/chapter in ProceedingsOA Platinum
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science » Computer Science » Theoretical Computer Science
Title in English:
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
Author:
Beohar, HarshUDE
LSF ID
57835
Other
connected with university
;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Other
connected with university
;Forster, Jonas
;Wild, Paul
;Gurke, SebastianUDE
LSF ID
61591
Other
connected with university
;Messing, KarlaUDE
LSF ID
61590
Other
connected with university
;Schröder, Lutz
Open Access?:
OA Platinum
DOI
10.4230/LIPIcs.STACS.2024.10
Scopus ID
85187790988
Language of text:
English
Appears in
41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)
Conference
Symposium on Theoretical Aspects of Computer Science (STACS)
Editor:
Beyersdorff, Olaf;Kante, Mamadou;Kupferman, Orna;Lokshtanov, Daniel
Place of publication:
Saarbrücken
Publisher:
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH
Year of publication:
2024
in:
Article 10
ISBN
9783959773119
Language of text:
English
In Series
LIPIcs - Leibniz International Proceedings in Informatic
in:
Vol. 289
Keyword, Topic:
behavioural equivalences ; behavioural metrics ; coalgebras ; Eilenberg-Moore categories ; linear-time semantics ; modal logics
Type of resource:
Text