Main Page Navigation
X-2024-02 :
Paul Dekker
Conceptual Windows Afford Views on Satisfying Individuals
X-2024-01 :
Eline De Jong
Better secure than sorry? Assessing the quantum cybersecurity 'risk'
X-2022-06 :
Paul Dekker
Truth and Agreement
X-2022-05 :
Paul van Ulsen
Bibliografie E.W. Beth
X-2022-04 :
Paul van Ulsen
Organisaties en genootschappen
X-2022-03 :
Paul van Ulsen
Wetenschapsfilosofie
X-2022-02 :
Paul van Ulsen
Onderwijs en onderzoek in logica en wetenschapsfilosofie
X-2022-01 :
Balder ten Cate
Lyndon Interpolation for Modal Logic via Type Elimination Sequences
X-2021-01 :
Dominik Wehr
Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory
X-2019-02 :
Johan van Benthem
Inventory Scientific Archive 1961-2017, 2017–2022
X-2019-01 :
Dazhu Li
Losing Connection: the Modal Logic of Definable Link Deletion
X-2018-02 :
A.S. Troelstra
Corrections to some Publications
X-2018-01 :
David O'Connell
Supertasks and Spacetime
X-2017-02 :
Johan van Benthem
Truth Maker Semantics and Modal Information Logic
X-2017-01 :
Vidhi Trehan, Aude Laloi, Richard van Hoolwerff, Gideon Borensztajn, Gal Moas
The Suppression Task Revisited
X-2016-06 :
Evan Marzion
Constructive Notions of Cofiniteness
X-2016-05 :
Johan van Benthem, Wang Yafeng
Notes on Mathematical Modal Logic
X-2016-04 :
Tim van der Molen
The Johansson/Heyting letters and the birth of minimal logic
X-2016-03 :
Chenwei Shi, Sonja Smets
Beliefs Supported by Arguments
X-2016-02 :
Alexandru Baltag, Giovanni Ciná
Bisimulation for conditional modalities
X-2016-01 :
Giovanni Ciná, Sebastian Enqvist
Bisimulation and path logic for sheaves: contextuality and beyond
X-2015-01 :
Frederik Möllerström Lauridsen
Bitopological Vietoris spaces and positive modal logic
X-2014-02 :
Shengyang Zhong
Definability in Quantum Kripke Frames
X-2014-01 :
Shengyang Zhong
Geometry in Quantum Kripke Frames
X-2013-02 :
Tanmay Inamdar
Successor Large Cardinals in Symmetric Extensions
X-2013-01 :
Apostolos Tzimoulis, Zhiguang Zhao
The Universal Model for the Negation-free Fragment of IPC
X-2011-06 :
Paula Henk
A new perspective on the arithmetical completeness of GL
X-2011-05 :
Johan van Benthem
Epistemic Logic: Five Questions Interview
X-2011-04 :
Rens Bod, Benedikt Löwe, Sanchit Saraf
How much do formal narrative annotations differ? A Proppian case study
X-2011-03 :
Tarek Besold
Computational Models of Analogy-Making. An Overview Analysis of Computational Approaches to Analogical Reasoning
X-2011-02 :
Edith Elkind, Ulle Endriss, Jérôme Lang
IJCAI-2011 Workshop on Social Choice and Artificial Intelligence
X-2011-01 :
María Inés Crespo, Dimitris Gakis, Galit Weidman-Sassoon (editors)
Proceedings of the Amsterdam Graduate Philosophy Conference - Truth, Meaning, and Normativity
X-2010-01 :
Theodora Achourioti, Edgar Andrade, Marc Staudacher
Proceedings of the Amsterdam Graduate Philosophy Conference 2009 - Meaning and Truth
X-2009-04 :
Sara L. Uckelman, Peter van Ormondt, Marie-Hélène Gorisse, Laurent Keiff, Nicolas Clerbout
A Day of Indian Logic
X-2009-03 :
Benedikt Löwe
LSIR-2: Logic and the Simulation of Interaction and Reasoning
X-2009-02 :
Theodora Achourioti, Edgar Andrade, Marc Staudacher
Proceedings of the Graduate Philosophy Conference on Normativity, Amsterdam 2008
X-2009-01 :
Johan van Benthem
Argumentation through the Lense of Artificial Intelligence
X-2008-12 :
Ulle Endriss, Paul W. Goldberg
Computational Social Choice 2008
X-2008-11 :
Johan van Benthem
Logic and Philosophy in the Century That Was
X-2008-10 :
Pieter Adriaans, Johan van Benthem
Introduction: Information is what information does
X-2008-09 :
Johan van Benthem
Constanten, of Variabelen, van het Logische Denken
X-2008-08 :
Irma Cornelisse, Patrick Mast, Ricus Smid, Djura Smits
Obligationes: Making an interactive website around a medieval game.
X-2008-07 :
Benedikt Löwe
Logic and the Simulation of Interaction and Reasoning: Introductory Remarks
X-2008-06 :
Rens Bod
De Unificatie van Menselijke Cognitie
X-2008-05 :
Rens Bod
Constructions at Work or at Rest?
X-2008-04 :
Jacob Lorhard, transl. by Sara Uckelman
Diagraph of Metaphysic or Ontology
X-2008-03 :
ILLC Latin Reading Group (transl.)
Parisian Obligations
X-2008-02 :
Johan van Benthem
Philosophy of Mathematics: Five Candid Answers
X-2008-01 :
Johan van Benthem
Een Postzegel vol Logica
X-2007-03 :
Fan Yang
On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames
X-2007-02 :
Johan van Benthem
An Interview on Logic and Games
X-2007-01 :
Johan van Benthem
Intelligent Interaction: Dynamic Trends in Todays Logic
X-2006-04 :
Ulle Endriss, Jérôme Lang
Computational Social Choice 2006
X-2006-03 :
Nick Bezhanishvili, Lena Kurzen, Rachel Sterken
Student Papers from an Intuitionistic Logic Project
X-2006-02 :
Joost J. Joosten
Credit cards, computationele complexiteit en consistentie uitspraken
X-2006-01 :
Stefan Bold, Benedikt Löwe
The general inductive argument for measure analyses with additive ordinal algebras
X-2005-05 :
David de Kloet
Real Blackwell Determinacy
X-2005-04 :
Seamus W.H. Holland
Solutions to Sorites
X-2005-03 :
Johan van Benthem
A Farewell to Loneliness: dynamic trends in logic to-day
X-2005-02 :
Benedikt Löwe, Brian Semmes
The extent of constructive game labellings
X-2005-01 :
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet
CiE 2005: New Computational Paradigms
X-2004-06 :
René de Jonge
IL-modellen en bisimulaties
X-2004-05 :
Faustine van der Grijn
(Im)possibility of a coordinated attack
X-2004-04 :
Benedikt Löwe, Robert van Rooij, Bernhard Schröder, Henk Zeevat
ILLC-Day 2 in Bonn ``Language''
X-2004-03 :
Benedikt Löwe, Thomas Müller
Degrees of Belief and Knowledge in Mathematics
X-2004-02 :
Henkjan Honing, Peter Desain
Final Report NWO-PIONIER Project "Music, Mind, Machine"
X-2004-01 :
Benedikt Löwe
A note on pure variations of axioms of Blackwell determinacy
X-2003-01 :
Paul van Ulsen
Index of the Troelstra Archive
X-2001-01 :
A.H. Budiyanto
Introduction to Turing Nonrigidity
X-2000-04 :
Anne Troelstra
Ware en Gevoelige Verhalen
X-2000-03 :
Johan van Benthem
Logic and Games: the third encounter
X-2000-02 :
H.P. van Ditmarsch
Axioms for Card Games
X-2000-01 :
H.P. van Ditmarsch
Dynamic Knowledge Logic
X-1999-02 :
J.A.G. Groenendijk
Questions
X-1999-01 :
Boudewijn P. de Bruin
Game Transformations and Game Equivalence
X-1998-03 :
Peter van Emde Boas
Formalizing UML; Mission Impossible?
X-1998-02 :
Paul Harrenstein
From a Modal Point of View: a Logical Investigation into Modalities De Dicto and De Re
X-1998-01 :
Ghica van Emde Boas-Lubsen
Feature Analysis of Business System 12
X-1997-02 :
Dimiter Ivanov Vakarelov
Applied Modal Logic: Modal Logics in Information Science
X-1997-01 :
Paul Dekker, David Beaver
Report on ECDS: An Interactive Course on the Internet
X-1996-02 :
Arthur Bakker, Renatus Ziegler
Finsler-Mengenlehre
X-1996-01 :
Ingmar Visser
Mind Rules: a Philosophical Essay on Psychological Rules and the Rules of Psychology
X-1995-01 :
Sophie Fischer, Leen Torenvliet
The Malleability of $TSP_{2Opt}$
X-1994-07 :
Michiel Leezenberg
The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan
X-1994-06 :
Natasha Alechina, Philippe Smets
A Note on Modal Logics for Partial Belief
X-1994-05 :
Johan van Benthem
Logic and Argumentation
X-1994-04 :
Harry P. Stein
Primitieve Normen: Lingu\"\i stische Normativiteit in het Licht van Kripke's Sceptische Paradox
X-1994-03 :
Natasha Alechina, Michiel van Lambalgen
Correspondence and Completeness for Generalized Quantifiers
X-1994-02 :
Vladimir Kanovei, Michiel van Lambalgen
Another Construction of Choiceless Ultrapower
X-1994-01 :
Johan van Benthem
Two Essays on Semantic Modelling
X-1993-06 :
Michael Zakharyashev
Canonical Formulas for K4. Part II: Cofinal Subframe Logics
X-1993-05 :
A.S. Troelstra (editor)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Second, corrected Edition
X-1993-04 :
A.S. Troelstra (editor)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Corrections to the First Edition
X-1993-03 :
Michiel Leezenberg
Gorani Influence on Central Kurdish: Substratum or Prestige Borrowing
X-1993-02 :
Maarten de Rijke
What is Modal Logic?
X-1993-01 :
Paul Dekker
Existential Disclosure (revised version of LP-1990-17)
X-1992-06 :
Annual Report 1991
X-1992-05 :
Erik de Haas, Peter van Emde Boas
Object Oriented Application Flow Graphs and their Semantics (revised version of CT-1992-01)
X-1992-04 :
Johan van Benthem
Modeling the Kinematics of Meaning
X-1992-03 :
Willem Groeneveld
Dynamic Semantics and Circular Propositions (revised version of LP-1991-03)
X-1992-02 :
Konstantin N. Ignatiev
The Closed Fragment of Dzhaparidze's Polymodal Logic and the Logic of S1 conservativity
X-1992-01 :
Heinrich Wansing
The Logic of Information Structures
X-1991-19 :
Papers presented at the Provability Interpretability Arithmetic Conference, 24-31 Aug. 1991, Dept. of Phil., Utrecht University
X-1991-18 :
Giovanna Cepparello
New Semantics for Predicate Modal Logic: an Analysis from a standard point of view
X-1991-17 :
Michiel van Lambalgen
Independence, Randomness and the Axiom of Choice (Revised Version of X-1991-10)
X-1991-16 :
V.G. Kanovei
Undecidable Hypotheses in Edward Nelson's Internal Set Theory
X-1991-15 :
V. Yu. Shavrukov
Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (revised version of X-1991-03)
X-1991-14 :
Max I. Kanovich
The Horn Fragment of Linear Logic is NP-Complete
X-1991-13 :
Max I. Kanovich
The Multiplicative Fragment of Linear Logic is NP-Complete
X-1991-12 :
Herman Hendriks
Flexibele Categoriale Syntaxis en Semantiek: de proefschriften van Frans Zwarts en Michael Moortgat
X-1991-11 :
Michael Zakharyaschev
Canonical Formulas for K4. Part I: Basic Results
X-1991-10 :
Michiel van Lambalgen
Independence, Randomness and the Axiom of Choice (superseded by X-1991-17)
X-1991-09 :
L.D. Beklemishev
On Bimodal Provability Logics for P1-axiomatized Extensions of Arithmetical Theories
X-1991-08 :
Giorgie Dzhaparidze
Logic of Tolerance
X-1991-07 :
A.S. Troelstra
Lectures on Linear Logic, Errata and Supplement
X-1991-06 :
Annual Report 1990
X-1991-05 :
Johan van Benthem
Temporal Logic
X-1991-04 :
K.N. Ignatiev
Partial Conservativity and Modal Logics
X-1991-03 :
V. Yu. Shavrukov
Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (superseded by X-1991-15)
X-1991-02 :
Alexander Chagrov, Michael Zakharyaschev
On the Undecidability of the Disjunction Property of Intermediate Propositional Logics
X-1991-01 :
Alexander Chagrov, Michael Zakharyaschev
The Disjunction Property of Intermediate Propositional Logics
X-1990-15 :
A.S. Troelstra
Lectures on Linear Logic
X-1990-14 :
L.A. Chagrova
Undecidable Problems in Correspondence Theory
X-1990-13 :
K.N. Ignatiev
Property, Craig's Property
X-1990-12 :
Maarten de Rijke
Bi-Unary Interpretability Logic
X-1990-11 :
Alessandra Carbone
Provable Fixed points in ID0+W1 (revised version)
X-1990-10 :
Sieger van Denneheuvel, Peter van Emde Boas
An Overview of the Rule Language RL/1
X-1990-09 :
V.Yu. Shavrukov
On Rosser's Provability Predicate
X-1990-08 :
L.D. Beklemishev
Provability Logics for Natural Turing Progressions of Arithmetical Theories
X-1990-07 :
V.Yu. Shavrukov
The Lindenbaum Fixed Point Algebra is Undecidable
X-1990-06 :
Valentin Goranko, Solomon Passy
Using the Universal Modality: Gains and Questions
X-1990-05 :
Valentin Shehtman
Derived Sets in Euclidean Spaces and Modal Logic
X-1990-04 :
Annual Report 1989
X-1990-03 :
L.D. Beklemishev
On the Complexity of Arithmetical Interpretations of Modal Formulae
X-1990-02 :
Maarten de Rijke
Some Chapters on Interpretability Logic
X-1990-01 :
A.S. Troelstra
Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version
X-1989-06 :
Peter van Emde Boas
Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project
X-1989-05 :
Maarten de Rijke
The Modal Theory of Inequality
X-1989-04 :
Jeroen Groenendijk, Martin Stokhof
Dynamic Montague Grammar, a first sketch
X-1989-03 :
A.S. Troelstra
Index of the Heyting Nachlass
X-1989-02 :
G. Wagemakers
New Foundations: A Survey of Quine's Set Theory
X-1989-01 :
Marianne Kalsbeek
An Orey Sentence for Predicative Arithmetic
X-1988-01 :
Mark Jumulet
On Solovay's Completeness Theorem