uva.nl

Institute for Logic, Language and Computation

Technical Notes (X) Series

X-2025-02:
Paul Dekker Conceptually Grounded Quantification
X-2025-01:
Arend Heyting La Conception Intuitionniste de la Logique
X-2024-05:
Paul Dekker A Logic for Contextually Restricted Quantification
X-2024-04:
Paul Dekker On Presenting Objects in Propositions
X-2024-03:
Simon Rey, Ulle Endriss A Note on How to Build a Conference Schedule: The Case of ECAI-2024
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
Final paper for the course Rationality, Cognition and Reasoning by Michiel van Lambalgen. Originally published December 2005.
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