Zoekresultaten
Resultaat 1 - 20 (van 29)
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
Johan van Benthem Open problems in logical dynamics
Non-fictie
Engels | 40 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Johan van Benthem Modal frame corresponcence generalized
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 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
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
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
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
T. Yavorskaya-Sidon Negative operations on proofs and labels
Non-fictie
Engels | 30 pagina's | Zeno, Institute of Philosophy, Utrecht | 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
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
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
J.C. van de Pol | Olga Tveretina A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
L.D. Beklemishev Reflection principles and provability algebras in formal arithmetic
Non-fictie
Engels | 78 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Rostislav Yavorskiy On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs
Non-fictie
Engels | 16 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Olivier Roy What does game theory have to do with plans?
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Gerhard Jäger Anaphora and type logical grammar
Non-fictie
Engels | 289 pagina's | Springer, Dordrecht | 2005
Gedrukt boek
John Harris Fuzzy logic applications in engineering science
Non-fictie
Engels | 221 pagina's | Springer, Dordrecht | 2005
Gedrukt boek
Joel David Hamkins | Benedikt Löwe The modal logic of forcing
Non-fictie
Engels | 31 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek