Modal logic by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

Atomless varieties by Venema, Yde

Modal logic by Blackburn, Patrick 1959-, Rijke, Maarten de 1961-, Venema, Yde 1963-

Get full text

Axiomatizing complex algebras by games by Hodkinson, Ian, Mikulás, Szabolcs, Venema, Yde

Points, lines and diamonds: a two-sorted model logic for projective planes by Venema, Yde 1963-

Temporal logic by Venema, Yde

Relational methods in logic, language and information by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

Meeting strength in substructural logics by Venema, Yde

Cylindric modal logic by Venema, Yde

Modal logic by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

MacNeille completions and canonical extensions by Gehrke, Mai, Harding, John, Venema, Yde

Automata and fixed point logic a coalgebraic perspective by Venema, Yde

Modal logic by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

Erds graphs resolve Fine's canonicity problem by Goldblatt, Robert 1949-, Hodkinson, Ian, Venema, Yde

Local variations on a loose theme modal logic and decidability by Marx, Maarten, Venema, Yde

The preservation of Sahlqvist equations in completions of Boolean algebras with operators by Givant, Steven R. 1943-, Venema, Yde 1963-

Q-algebras by Stebletsova, Vera, Venema, Yde

A crash course in arrow logic by Venema, Yde

The algebra of modal logic by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

The algebra of modal logic by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde