Suchergebnisse - Venema, Yde 1963-

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-

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-

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 1963-