Venema, Yde (1963-)

A crash course in arrow logic / Y. Venemaschema:ProductModel A modal logic of quantifications and substitution / Y. Venemaschema:ProductModel A modal logic of relations / Yde Venema, Maarten Marxschema:ProductModel Atomless varieties / Yde Venemaschema:ProductModel Automata and fixed point logic : a coalgebraic perspective / Yde Venemaschema:ProductModel Canonical pseudo-correspondence / Yde Venemaschema:ProductModel Cylindric modal logic / Y. Venemaschema:ProductModel Cylindric modal logic / Yde Venemaschema:ProductModel Duals of subdirectly irreducible modal algebras / Yde Venemaschema:ProductModel Expressiveness and completeness of an interval tense logic / Yde Venemaschema:ProductModel Knipselmap mei artikels oer en/of fan Yde Venema / gearst. troch FLMD/Tresoarschema:ProductModel Many-dimensional modal logic / Yde Venemaschema:ProductModel Many-dimensional modal logic / Yde Venemaschema:ProductModel Meeting strength in substructural logics / Yde Venemaschema:ProductModel Modal derivation rules / Yde Venemaschema:ProductModel Points, lines and diamonds: a two-sorted modal logic for projective planes / Yde Venemaschema:ProductModel Relational games / Yde Venemaschema:ProductModel Temporal logic / Yde Venemaschema:ProductModel Two-dimensional modal logics : for relational algebras and temporal logic of intervals / Yde Venemaschema:ProductModel Two-dimensional modal logics for relational algebras and temporal logic of intervals / [by] Yde Venemaschema:ProductModel ... show all 21

A modal logic of information change / J. Engelfriet, Y. Venemaschema:ProductModel A Sahlqvist theorem for distributive modal logic / Mai Gehrke, Hideo Nagahashi, Yde Venemaschema:ProductModel Axiomatizing complex algebras by games / Ian Hodkinson, Szabolcs Mikulás, Yde Venemaschema:ProductModel Canonical varieties with no canonical axiomatisation / Ian Hodkinson, Yde Vennemaschema:ProductModel Dynamic squares / P. Blackburn and Y. Venemaschema:ProductModel Erds graphs resolve Fine's canonicity problem / R. Goldblatt, I. Hodkinson, Y. Venemaschema:ProductModel Local variations on a loose theme: modal logic and decidability / Maarten Marx, Yde Venemaschema:ProductModel MacNeille completions and canonical extensions / Mai Gehrke, John Harding, Yde Venemaschema:ProductModel Modal logic and dynamics / guest ed.: Yde Venemaschema:ProductModel Multi-dimensional modal logic / by Maarten Marx and Yde Venemaschema:ProductModel Q-algebras / V. Stebletsova, Y. Venemaschema:ProductModel Relational methods in logic, language and information / P. Blackburn, M. de Rijke, Y. Venemaschema:ProductModel Sahlqvist's theorem for Boolean algebras with operators / Maarten de Rijke, Yde Venemaschema:ProductModel Simulating polyadic modal logics by monadic ones / G. Goguadze, C. Piazza, Y. Venemaschema:ProductModel Stone coalegebras / Clemens Kupke, Alexander Kurz, Yde Venemaschema:ProductModel The algebra of modal logic / P. Blackburn, M. de Rijke, Y. Venemaschema:ProductModel The algebra of modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venemaschema:ProductModel The preservation of Sahlqvist equations in completions of Boolean algebras with operators / Steven Givant and Yde Venemaschema:ProductModel

Knipselmap mei artikels oer en/of fan Yde Venema / gearst. troch FLMD/Tresoarschema:ProductModel