Suchergebnisse - Venema, Yde

Modal logic

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

The preservation of Sahlqvist equations in completions of Boolean algebras with operators

von Givant, Steven R. 1943-, Venema, Yde 1963-

The algebra of modal logic

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

Modal logic

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

Points, lines and diamonds: a two-sorted model logic for projective planes

von Venema, Yde 1963-

Relational methods in logic, language and information

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

Many-dimensional modal logic

von Venema, Yde 1963-

Modal logic

von Blackburn, Patrick 1959-

Weitere beteiligte Personen: “… Venema, Yde 1963- …”
Online lesen

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

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

Dynamic squares

von Blackburn, Patrick 1959-, Venema, Yde

Modal logic

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

Atomless varieties

von Venema, Yde