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 (Hrsg.). - 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), Artikel 10
2024Buchaufsatz/Kapitel in TagungsbandOA Platin
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel in Englisch:
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
Autor*in:
Beohar, HarshUDE
- LSF ID
- 57835
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
-
0000-0002-4193-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 61591
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 61590
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Open Access?:
OA Platin
Scopus ID
Sprache des Textes:
Englisch
Schlagwort, Thema:
behavioural equivalences ; behavioural metrics ; coalgebras ; Eilenberg-Moore categories ; linear-time semantics ; modal logics
Ressourcentyp:
Text