Zoekresultaten
Resultaat 1 - 20 (van 27)
Yde Venema Meeting strength in substructural logics
Non-fictie
Engels | 25 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1993
Gedrukt boek
Mai Gehrke | John Harding | Yde Venema MacNeille completions and canonical extensions
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Mai Gehrke | Hideo Nagahashi | Yde Venema A Sahlqvist theorem for distributive modal logic
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
G. Goguadze | C. Piazza | Yde Venema Simulating polyadic modal logics by monadic ones
Non-fictie
Engels | 46 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2001
Gedrukt boek
Maarten Marx | Yde Venema Local variations on a loose theme: modal logic and decidability
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Yde Venema Points, lines and diamonds: a two-sorted modal logic for projective planes
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Joeri Engelfriet | Yde Venema A modal logic of information change
Non-fictie
Engels | 29 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
Patrick Blackburn | M. de Rijke | Yde Venema Relational methods in logic, language and information
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Yde Venema A crash course in arrow logic
Non-fictie
Engels | 22 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
Patrick Blackburn | Yde Venema Dynamic squares
Non-fictie
Engels | 42 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Yde Venema Cylindric modal logic
Non-fictie
Engels | 29 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Yde Venema A modal logic of quantifications and substitution
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Yde Venema Modal derivation rules
Non-fictie
Engels | 36 pagina's | Institute for Language, Logic and Information, Amsterdam | 1991
Gedrukt boek
Yde Venema Relational games
Non-fictie
Engels | 22 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
Yde Venema Automata and fixed point logic
a coalgebraic perspective
Non-fictie
Engels | 32 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Clemens Kupke | A. Kurz | Yde Venema Stone coalegebras
Non-fictie
Engels | 31 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Yde Venema Canonical pseudo-correspondence
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Temporal logic
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
V. Stebletsova | Yde Venema Q-algebras
Non-fictie
Engels | 24 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek