Zoekresultaten
Resultaat 141 - 160 (van 1101)
Ulle Endriss Temporal logics for representing agent communication protocols
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Balder ten Cate | Massimo Franceschet On the complexity of hybrid logics with binders
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Emil Jeřábek Admissible rules of modal logics
Non-fictie
Engels | 23 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
L.D. Beklemishev | A. Visser Problems in the logic of provability
Non-fictie
Engels | 49 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
J.M. Niekus Brouwer's incomplete objects
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Benedikt Löwe | Thomas Müller Mathematical knowledge is context dependent
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Patrick Girard From onions to broccoli
generalizing Lewis's counterfactual logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Evan Gorris | Joost J. Joosten The many faces of interpretability
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
A. Visser Propositional logics of closed and open substitutions of Heyting's arithmetic
Non-fictie
Engels | 13 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
T. Yavorskaya-Sidon Negative operations on proofs and labels
Non-fictie
Engels | 30 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Johan van Benthem | D.J.N. van Eijck | Barteld Kooi Logics of communication and change
Non-fictie
Engels | 33 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Johan van Benthem Minimal predicates, fixed points, and definability
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Balder ten Cate The first order formulas preserved under ultrafilter extensions are not recursively enumerable
Non-fictie
Engels | 2 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Balder ten Cate | Massimo Franceschet Guarded fragments with constants
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Benedikt Löwe Complexity hierarchies derived from reduction functions
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Benedikt Löwe The length of the full hierarchy of norms
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Joost J. Joosten Interpretability formalized
Non-fictie
Engels | 213 pagina's | Zeno Institute for Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 2004
Gedrukt boek
Benedikt Löwe | Thomas Müller Degrees of belief and knowledge in mathematics
Non-fictie
Engels | 6 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
A. Visser Categories of theories and interpretations
Non-fictie
Engels | 64 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2004
Gedrukt boek
Institute for Logic, Language and Computation Comparing inductive and circular definitions
parameters, complexity and games
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek