Jonas Forster

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Alternating Time Temporal Logic

Density Distribution

Qualitative And Quantitative

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)
Jonas Forster, Lutz Schröder, Paul Wild
Quantitative Graded Semantics and Spectra of Behavioural Metrics. CoRR (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. 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)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR (2022)
Jonas Forster, Lutz Schröder
Non-Iterative Modal Logics Are Coalgebraic. AiML (2020)
Jonas Forster, Lutz Schröder
Non-iterative Modal Logics are Coalgebraic. CoRR (2020)