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

Canonical varities with no canonical axiomatisation von Hodkinson, Ian, Venema, Yde

Stone coalgebras von Kupke, Clemens, Kurz, Alexander, Venema, Yde

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

Inhaltsverzeichnis

Duals of subdirectly irreducible modal algebras von Venema, Yde

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

Multi dimensional modal logic von Marx, Maarten, Venema, Yde

Inhaltsverzeichnis

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

A modal logic of quantification and substitution von Venema, Yde

Many-dimensional modal logic von Venema, Yde 1963-

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