Jim de Groot

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.

[BibT_eX]

[DOI]

Stud Logica, 2022

Modal meet-implication logic.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Coalgebraic Geometric Logic: Basic Theory.

[BibT_eX]

[DOI]

Yde Venema

Log. Methods Comput. Sci., 2022

A Coalgebraic Approach to Dualities for Neighborhood Frames.

[BibT_eX]

[DOI]

Guram Bezhanishvili

Log. Methods Comput. Sci., 2022

Hennessy-Milner properties via topological compactness.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Non-distributive positive logic as a fragment of first-order logic over semilattices.

[BibT_eX]

[DOI]

CoRR, 2022

Positive (Modal) Logic Beyond Distributivity.

[BibT_eX]

[DOI]

CoRR, 2022

Goldblatt-Thomason Theorems for Modal Intuitionistic Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Positive Monotone Modal Logic.

[BibT_eX]

[DOI]

Stud Logica, 2021

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.

[BibT_eX]

[DOI]

Tadeusz Litak

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Modal Intuitionistic Logics as Dialgebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Duality for Instantial Neighbourhood Logic via Coalgebra.

[BibT_eX]

[DOI]

Sebastian Enqvist

Proceedings of the Coalgebraic Methods in Computer Science, 2020

Logic-Induced Bisimulations.

[BibT_eX]

[DOI]

Helle Hvid Hansen

Alexander Kurz

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

2019

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2019

Coalgebraic Geometric Logic.

[BibT_eX]

[DOI]