Showing 1 - 5 results of 5 for search 'Yde Venema', query time: 0.02s
Refine Results
-
1
Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties by Gaëlle Fontaine, Yde Venema
Published 2018-02-01
Article -
2
Disjunctive bases: normal forms and model theory for modal logics by Sebastian Enqvist, Yde Venema
Published 2022-08-01
Article -
3
An expressive completeness theorem for coalgebraic modal mu-calculi by Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Published 2017-07-01
Article -
4
Completeness for the coalgebraic cover modality by Clemens Kupke, Alexander Kurz, Yde Venema
Published 2012-07-01
Article -
5
Coalgebraic Geometric Logic: Basic Theory by Nick Bezhanishvili, Jim de Groot, Yde Venema
Published 2022-12-01
Article