Zoekresultaten
Resultaat 1 - 7 (van 7)
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 | 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 | 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