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

Atomless varieties von Venema, Yde

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

Volltext öffnen

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

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

Temporal logic von Venema, Yde

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

Meeting strength in substructural logics von Venema, Yde

Cylindric modal logic von Venema, Yde

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

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

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

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

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

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

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

Q-algebras von Stebletsova, Vera, Venema, Yde

A crash course in arrow logic von Venema, Yde

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

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