uva.nl

Institute for Logic, Language and Computation

Technical Notes (X) Series

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
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