Zoekresultaten
Resultaat 21 - 28 (van 28)
M. de Rijke Meeting some neighbours
a dynamic logic meets theories of change and knowledge representation
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
M. de Rijke A system of dynamic modal logic
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
W. van der Hoek | M. de Rijke Counting objects in generalized quantifier theory, modal logic, and knowledge representation
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
M. de Rijke | Yde Venema Sahlqvist's theorem for Boolean algebras with operators
Non-fictie
Engels | 11 pagina's | Institute for Language, Logic and Information, Amsterdam | 1991
Gedrukt boek
W. van der Hoek | M. de Rijke Generalized quantifiers and model logic
Non-fictie
Engels | 28 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
M. de Rijke The modal logic of inequality
Non-fictie
Engels | 18 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
M. de Rijke A note on the interpretability logic of finitely axiomatized theories
Non-fictie
Engels | 8 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
M. de Rijke Unary interpretability logic
Non-fictie
Engels | 24 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek