Venema, Yde, 1963-....
Venema, Yde
Venema, Y.
Yde Venema Ph.D. Universiteit van Amsterdam 1992
VIAF ID: 207368380 ( Personal )
Permalink: http://viaf.org/viaf/207368380
Preferred Forms
-
- 100 1 _ ‡a Venema, Y.
-
-
-
- 100 1 _ ‡a Venema, Yde ‡d 1963-
-
-
- 100 1 _ ‡a Venema, Yde, ‡d 1963-
-
- 100 1 _ ‡a Venema, Yde, ‡d 1963-....
- 100 0 _ ‡a Yde Venema ‡c Ph.D. Universiteit van Amsterdam 1992
Works
Title | Sources |
---|---|
Atomless varieties | |
Automata and fixed point logic : a coalgebraic perspective | |
Axiomatizing complex algebras by games | |
Canonical pseudo-correspondence | |
Duals of subdirectly irreducible modal algebras | |
Dynamic squares | |
Expressiveness and completeness of an interval tense logic | |
Finite model theory and its applications | |
Knipselmap mei artikels oer en/of fan Yde Venema | |
MacNeille completions and canonical extensions | |
Meeting strength in substructural logics | |
Modal derivation rules | |
Modal logic | |
Model logic and process algebra / ed. by Alban Ponse, Maarten de Rijke, Yde Venema. - Stanford, 1995. | |
Points, lines and diamonds | |
The preservation of Sahlqvist equations in completions of Boolean algebras with operators | |
Preuves en logique épistémique : une perspective topologique. | |
Relational games | |
Relational methods in logic, language and information | |
Stone coalegebras | |
Undecidable theories of Lyndon algebras |