Zoekresultaten
Resultaat 1 - 20 (van 24)
Carlos Areces | Hans de Nivelle | M. de Rijke Prefixed resolution
a resolution method for modal and description logics
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Christof Monz | M. de Rijke A tableaux calculus for ambiguous quantification
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | M. de Rijke Expressiveness revisited
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
M. de Rijke Modal model theory
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Angelo Montanari | M. de Rijke Two-sorted metric temporal logics
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Patrick Blackburn | W.P.M. Meyer Viol | M. de Rijke A proof system for finite trees
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
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
Patrick Blackburn | M. de Rijke Zooming in, zooming out
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
M. de Rijke A Lindström theorem for modal logic
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
M. de Rijke Correspondence theory for extended modal logics
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1993
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 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 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
Carlos Areces | M. de Rijke | Gabriel Infante-Lopez Decomposing modal logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Carlos Areces | Hans de Nivelle | M. de Rijke Resolution in modal, description and hybrid logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Christof Monz | M. de Rijke A resolution calculus for dynamic semantics
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Patrick Blackburn | M. de Rijke Why combine logics?
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
M. de Rijke A modal characterization of Peirce algebras
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
M. de Rijke The logic of Peirce algebras
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek