Zoekresultaten
Resultaat 1 - 20 (van 31)
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
Maarten Marx | Michael Masuch Regular equivalence and dynamic logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
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
Jaap Kamps | Maarten Marx Words with attitude
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Maarten Marx | Szabolcs Mikulás An elementary construction for a non-elementary procedure
Non-fictie
Engels | 9 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
Maarten Marx Complexity of intuitionistic predicate logic with one variable
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2001
Gedrukt boek
Maarten Marx Relation algebra with binders
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
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
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
Eva Hoogland | Maarten Marx Interpolation in guarded fragments
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Maarten Marx | Nick Bezhanishvili All proper normal extensions of S5-square have the polynomial size model property
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Maarten Marx | Szabolcs Mikulás Products, or How to create modal logics of high complexity
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
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
Maarten Marx | M.C. Reynolds Undecidability of compass logic
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | Carlos Areces Failure of interpolation in combined modal logics
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 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
Carlos Areces | Patrick Blackburn | Maarten Marx Complexity results for hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Labelled deduction for the guarded fragment
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Two-dimensional labelled deduction
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek