Expressiveness and completeness of an interval tense logic / Yde VenemaTwo-dimensional modal logics : for relational algebras and temporal logic of intervals / Yde VenemaTwo-dimensional modal logics for relational algebras and temporal logic of intervals / [by] Yde VenemaRelational games / Yde VenemaCylindric modal logic / Yde VenemaMany-dimensional modal logic / Yde VenemaModal derivation rules / Yde VenemaMeeting strength in substructural logics / Yde VenemaA modal logic of quantifications and substitution / Y. VenemaCylindric modal logic / Y. VenemaA crash course in arrow logic / Y. VenemaA modal logic of relations / Yde Venema, Maarten MarxPoints, lines and diamonds: a two-sorted modal logic for projective planes / Yde VenemaUndecidable theories of Lyndon algebras / Yde Venema, Vera StebletsovaTemporal logic / Yde VenemaCanonical pseudo-correspondence / Yde VenemaMany-dimensional modal logic / Yde VenemaDuals of subdirectly irreducible modal algebras / Yde VenemaAtomless varieties / Yde VenemaKnipselmap mei artikels oer en/of fan Yde Venema / gearst. troch FLMD/TresoarAutomata and fixed point logic : a coalgebraic perspective / Yde Venema
author
Sahlqvist's theorem for Boolean algebras with operators / Maarten de Rijke, Yde VenemaDynamic squares / P. Blackburn and Y. VenemaThe algebra of modal logic / Patrick Blackburn, Maarten de Rijke, Yde VenemaThe algebra of modal logic / P. Blackburn, M. de Rijke, Y. VenemaRelational methods in logic, language and information / P. Blackburn, M. de Rijke, Y. VenemaMulti-dimensional modal logic / by Maarten Marx and Yde VenemaQ-algebras / V. Stebletsova, Y. VenemaModal logic and dynamics / guest ed.: Yde VenemaA modal logic of information change / J. Engelfriet, Y. VenemaThe preservation of Sahlqvist equations in completions of Boolean algebras with operators / Steven Givant and Yde VenemaAxiomatizing complex algebras by games / Ian Hodkinson, Szabolcs Mikulás, Yde VenemaLocal variations on a loose theme: modal logic and decidability / Maarten Marx, Yde VenemaSimulating polyadic modal logics by monadic ones / G. Goguadze, C. Piazza, Y. VenemaA Sahlqvist theorem for distributive modal logic / Mai Gehrke, Hideo Nagahashi, Yde VenemaCanonical varieties with no canonical axiomatisation / Ian Hodkinson, Yde VennemaStone coalegebras / Clemens Kupke, Alexander Kurz, Yde VenemaErds graphs resolve Fine's canonicity problem / R. Goldblatt, I. Hodkinson, Y. VenemaMacNeille completions and canonical extensions / Mai Gehrke, John Harding, Yde Venema