Zoekresultaten
Resultaat 81 - 100 (van 1098)
Floris Roelofsen | Maria Aloni Perspectives on concealed questions
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Cédric Dégremont | Lena Kurzen Modal logics for reasoning about preferences and cooperation
expressive power and complexity
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Joost J. Joosten | Grant Olney Passmore Doet SAT exhibit fractal behavior?
Non-fictie
Engels | 5 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Fernando R. Velázquez-Quesada Inference and update
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Wouter Koolen Temporary unavailability logic and general modification logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Amélie Gheerbrant | Balder ten Cate Complete axiomatizations of MSO, FO(TC1), FO(LFP1) on finite trees
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem | Denis Bonnay Modal logic and invariance
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem | Cédric Dégremont Building bridges between dynamics and temporal doxastic logics
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem | Cédric Dégremont Multi-agent belief dynamics
bridges between dynamic doxastic and doxastic temporal logics
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Marta Bilkova | Dick de Jongh | Joost J. Joosten Interpretability in PRA
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
G. Bezhanishvili | Nick Bezhanishvili | Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Instytut Filozofii i Socjologii Leśniewski's systems
ontology and mereology
Non-fictie
Engels | 262 pagina's | Nijhoff, Dordrecht [etc.] | 1984
Gedrukt boek
Benedikt Löwe Visualization of ordinals
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Sara L. Uckelman | Joel Uckelman Modal and temporal logics for abstract space-time structures
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Juha Kontinen | Jouko Väänänen On definability in dependence logic
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Johan van Benthem Logic and reasoning: do the facts matter?
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Johan van Benthem Man muss immer umkehren
Non-fictie
Engels | 11 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Johan van Benthem Actions that make us know
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Johan van Benthem Situation calculus meets modal logic
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Johan van Benthem Inference in action
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek