Group by: Item Type | No Grouping

Number of items: **31**.

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-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]

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]

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]

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