- Tales of the Unexpected: language and cognitive access in the psychology laboratory
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Annals of Pure and Applied Logic 131 (2005) 287301 APPLIED LOGIC
- Mathematical Logic. From the XIXth century to the 1960s, logic was
- Manipulation in Approval Voting Core Logic 2007 Manipulation in Approval Voting
- 1st Semester 2007/2008, period a & b Dr Benedikt Lowe
- Logic & Theology in the Middle Ages. Logic (in a broader sense) as central to important
- Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Modal Languages for Topology: Expressivity and Definability
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Distributed Resource Allocation Core Logic 2006 Efficiency and Fairness in Distributed
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Foundations of Mathematics. Does mathematics need foundations? (Not until 1900.)
- Early History of Computing. Wilhelm Schickard (1592-1635)
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Port Royal. "We do need another type of logic book for those whose culture is of a literary-historical type,
- Neuroevolutionary phenomenology of communicating agents
- A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness G. Sambin; V. Vaccaro
- Rediscovery of Aristotle. Until 1100: Logica vetus.
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Modal Propositional Logic. Propositional Logic: Prop. Propositional variables pi,
- Signaling games and non-literal
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- AUGUST 2001 NOTICES OF THE AMS 681 TheContinuum
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Looking for logic in all the wrong places
- Reasoning and Formal Modelling
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Coalgebras and Coalgebra Automata http://staff.science.uva.nl/~yde
- Foundations of Mathematics. Does mathematics need foundations? (Not until 1900.)
- Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?
- conversation proposition
- Foundations of Mathematics. Two weeks ago: First-order logic as a foundations of
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Reasoning and Formal Modelling
- The Eucharist. Transformation of bread and wine into body and blood
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- History of constructivism in the 20th century A.S.Troelstra
- 1st Semester 2006/2007, period a & b Dr Benedikt Lowe
- Reasoning and Formal Modelling
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Reasoning and Formal Modelling
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Reasoning and Formal Modelling
- Reasoning and Formal Modelling
- Katrin Schulz (ILLC) Approaching the Logic of
- Something Empirical about Bernhard Fisseni
- Something Empirical about Bernhard Fisseni
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Core Logic, ILLC / Universiteit van Amsterdam Temporal Logic and the Logic of Agency
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Deductivism, and David Hilbert's
- Brouwer, Heyting and Intuitionism
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Unifying Linguistic, Musical and Visual Processing
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Content and context in reasoning How to decide the truth of a statement
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Leonhard Euler (1707-1783) Successor of Nicolaus Bernoulli
- Cantor (1). Georg Cantor
- Formal Models of the Evolution of Language Jelle Zuidema
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Language Use Uncertainty
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- 1st Semester 2006/2007, period a & b Dr Benedikt Lowe
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- 1st Semester 2006/2007, period a & b Dr Benedikt Lowe
- Aristotelian modal logic. Modalities.
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Geometries (1). We call a structure P, L, I a plane geometry if
- Attempts to resolve the paradoxes. Theory of Types.
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Origins of Logic Greek mathematics
- Hand or Hammer? On Formal and Natural Languages in Semantics
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Dialogic Logic (1). Two players, the Proponent and the Opponent.
- Leonhard Euler (1707-1783) Member of the newly founded
- Provability Logic Classical Problem
- The Bulletin of Symbolic Logic Volume 2, Number 2, June 1996
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Modal Propositional Logic. Propositional Logic: Prop. Propositional variables pi,
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- So you want to do historical logic? What you need to know about how historical logic
- Aristotelian temporal logic: the sea battle. According to the square of oppositions, exactly one of "it is
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Megarians and Stoics. Socrates (469-399 BC)
- Aristotle's work on logic. The Organon.
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Stop thinking! Discourse particles block your mind Hans-Christian Schmitz
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Logic in the 17th century Core Logic 18 October 2006
- Syntax of first order logic. A first-order language L is a set { fi ; i I} { Rj ; j J} of function symbols and relation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Scholasticism. The XIIIth century: the Golden Age of Scholasticism.
- Reasoning and Formal Modelling
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Reasoning and Formal Modelling
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- A few results about topological types -Definitions and bibliography
- Reasoning and Formal Modelling
- Questions in a Dynamic Perspective Paul Dekker
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Early universities. Bologna (c.1200), Paris (c.1200)
- The Education System (1). Trivium. (Artes sermocinales.)
- Limitativitt als Kriterium bei der Frage nach erweiterten Axiomensystemen fr die Mathematik
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Insolubles. The most famous insoluble: the Liar.
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Wrapping up the middle ages: obligationes
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- The ILLC (1). Institute for Logic, Language and Computation.
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- HansChristian ``Eigentlich''
- Georg Cantor (1845-1918)
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Medieval theories of consequence A genuine medieval invention.
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- 1st Semester 2005/2006, period a & b Dr Benedikt Lowe
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Signaling games and nonliteral
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Methodology of Syllogistics. Start with a list of obviously valid moods (perfect
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Reasoning and Formal Modelling
- Annals of Pureand AppliedLogic37 (1988)24%?% North-Holland
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Reasoning and Formal Modelling
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Reasoning and Formal Modelling
- Mathematical Logic. Proof Theory.
- Universiteit van Amsterdam Institute for Logic, Language and Computation
- Statistical Inference, Induction and Realism
- JUNE/JULY 2001 NOTICES OF THE AMS 567 TheContinuum
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- UNIVERSITEIT VAN AMSTERDAM INSTITUTE FOR LOGIC, LANGUAGE AND COMPUTATION
- Mathematical Knowledge as a Case Study in Empirical
