Karla Messing

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Alternating Time Temporal Logic

Propositional Dynamic Logic

Formal Concepts

Top Venues

Publications

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. STACS (2024)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS (2024)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR (2023)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Hennessy-Milner Theorems via Galois Connections. CSL (2023)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR (2023)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Hennessy-Milner Theorems via Galois Connections. CoRR (2022)