Zoekresultaten
Resultaat 1 - 17 (van 17)
Johan van Benthem | Patrick Blackburn Modal logic: a semantic perspective
Non-fictie
Engels | 82 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Patrick Blackburn | Jaap Kamps | Maarten Marx Situation calculus as hybrid logic: first steps
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Repairing the interpolation theorem in quantified modal logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Complexity results for hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Hybrid logics
characterization, interpolation and complexity
Non-fictie
Engels | 35 pagina's | Vrije Universiteit, Amsterdam | 1999
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 | 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 Zooming in, zooming out
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Patrick Blackburn | Yde Venema Dynamic squares
Non-fictie
Engels | 42 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Patrick Blackburn Modal logic and attribute value structures
Non-fictie
Engels | 31 pagina's | Institute for Language Logic and Information, Amsterdam | 1992
Gedrukt boek
Patrick Blackburn | Edith Spaan A modal perspective on the computational complexity of attribute value grammar
Non-fictie
Engels | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek
Patrick Blackburn | Maarten Marx Tableaux for quantified hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx The computational complexity of hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
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
Patrick Blackburn | M. de Rijke | Yde Venema The algebra of modal logic
Non-fictie
Engels | 61 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Patrick Blackburn Nominal tense logic
Non-fictie
Engels | 18 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1990
Gedrukt boek
Patrick Blackburn | Maarten Marx Constructive interpolation in hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek