Items where Author is "Venema, Yde"

PP-2016-33: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2016) Completeness for the modal mu-calculus: separating the combinatorics from the dynamics. [Report]

PP-2016-33: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2016) Completeness for the modal mu-calculus: separating the combinatorics from the dynamics. [Report]

PP-2014-23: Bezhanishvili, Guram and Bezhanishvili, Nick and Sourabh, Sumit and Venema, Yde (2014) Subordinations, closed relations, and compact Hausdorff spaces. [Report]

IV-03: Venema, Yde (2014) Algebra en Coalgebra: bespiegelingen in de logica (Inaugural). [Report]

HDS-04: Venema, Yde (2013) Many-Dimensional Modal Logic. Doctoral thesis, University of Amsterdam.

PP-2004-21: Venema, Yde (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective. [Report]

PP-2004-05: Gehrke, Mai and Harding, John and Venema, Yde (2004) MacNeille completions and canonical extensions. [Report]

PP-2003-15: Kupke, Clemens and Kurz, Alexander and Venema, Yde (2003) Stone Coalgebras. [Report]

PP-2003-13: Hodkinson, Ian and Venema, Yde (2003) Canonical varieties with no canonical axiomatisation. [Report]

PP-2002-11: Venema, Yde (2002) Atomless Varieties. [Report]

PP-2002-10: Venema, Yde (2002) Duals of subdirectly irreducible modal algebras. [Report]

PP-2002-09: Gehrke, Mai and Nagahashi, Hideo and Venema, Yde (2002) A Sahlqvist Theorem for Distributive Modal Logic. [Report]

PP-2000-01: Hodkinson, Ian and Mikulás, Szabolcs and Venema, Yde (2000) Axiomatizing Complex Algebras by Games. [Report]

PP-2000-09: Marx, Maarten and Venema, Yde (2000) Local Variations on a Loose Theme: Modal Logic and Decidability. [Report]

ML-1998-13: Venema, Yde (1998) Canonical Pseudo-Correspondence. [Report]

ML-1998-04: Venema, Yde (1998) Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes. [Report]

ML-1998-05: Givant, Steven and Venema, Yde (1998) The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators. [Report]

LP-1998-16: Venema, Yde (1998) Temporal Logic. [Report]

ML-1998-14: Venema, Yde and Stebletsova, Vera (1998) Undecidable theories of Lyndon algebras. [Report]

ML-1991-01: Venema, Yde (1991) Cylindric Modal Logic. [Report]

ML-1991-07: Venema, Yde (1991) Modal Derivation Rules. [Report]

ML-1991-10: de Rijke, Maarten and Venema, Yde (1991) Sahlqvist's Theorem for Boolean Algebras with Operators. [Report]

ML-1990-03: Venema, Yde (1990) Relational Games. [Report]

LP-1989-03: Venema, Yde (1989) Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals. [Report]

LP-1988-02: Venema, Yde (1988) Experssive and Completeness. [Report]

PP-2019-09: Bezhanishvili, Nick and de Groot, Jim and Venema, Yde (2019) Coalgebraic geometric logic. [Pre-print]

PP-2020-09: Rooduijn, Jan and Venema, Yde (2020) Completeness for axiomatic extensions of modal logic with the master modality. [Pre-print] (Unpublished)

PP-2017-04: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2017) Completeness for mu-calculi: a coalgebraic approach. [Pre-print] (Unpublished)

PP-2017-05: Enqvist, Sebastian and Venema, Yde (2017) Disjunctive bases: normal forms for modal logics. [Pre-print] (Submitted)

PP-2023-03: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. and Marti, Johannes and Venema, Yde (2023) Proof Systems for Two-way Modal mu-Calculus. [Pre-print] (Submitted)

PP-2016-39: Fontaine, Gaëlle and Venema, Yde (2016) Some model theory for the modal mu-calculus: syntactic characterisations of semantic properties. [Pre-print] (Submitted)

PP-2017-06: Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde (2017) A simple propositional calculus for compact Hausdorff spaces. [Pre-print]