Jonas Forster

According to our database, Jonas Forster authored at least 10 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances.

Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora

CoRR, February, 2026

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich.

Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2025

Conformance Games for Graded Semantics.

Jonas Forster, Lutz Schröder, Paul Wild

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Quantitative Graded Semantics and Spectra of Behavioural Metrics.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

CoRR, 2023

Quantitative Graded Semantics and Spectra of Behavioural Metrics.

Jonas Forster, Lutz Schröder, Paul Wild

CoRR, 2023

Quantitative Hennessy-Milner Theorems via Notions of Density.

Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2020

Non-Iterative Modal Logics Are Coalgebraic.

Jonas Forster, Lutz Schröder

Proceedings of the 13th Conference on Advances in Modal Logic, 2020