Universiteit van Amsterdam

ILLC Publications, All Series, 1990

CT-1990-01:
John Tromp, Peter van Emde Boas Associative Storage Modification Machines
CT-1990-02:
Sieger van Denneheuvel, Gerard R. Renardel de Lavalette A Normal Form for PCSJ Expressions
CT-1990-03:
Ricard Gavaldà, Leen Torenvliet, Osamu Watanabe, José L. Balcázar Generalized Kolmogorov Complexity in Relativized Separations
CT-1990-04:
Harry Buhrman, Edith Spaan, Leen Torenvliet Bounded Reductions
CT-1990-05:
Sieger van Denneheuvel, Karen Kwast Efficient Normalization of Database and Constraint Expressions
CT-1990-06:
Michiel Smid, Peter van Emde Boas Dynamic Data Structures on Multiple Storage Media, a Tutorial
CT-1990-07:
Kees Doets Greatest Fixed Points of Logic Programs
CT-1990-08:
Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas Physiological Modelling using RL
CT-1990-09:
Roel de Vrijer Unique Normal Forms for Combinatory Logic with Parallel Conditional, a case study in Conditional Rewriting
LP-1990-01:
Jaap van der Does A Generalized Quantifier Logic for Naked Infinitives
LP-1990-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar
LP-1990-03:
Renate Bartsch Concept Formation and Concept Composition
LP-1990-04:
Aarne Ranta Intuitionistic Categorial Grammar
LP-1990-05:
Patrick Blackburn Nominal Tense Logic
LP-1990-06:
Gennaro Chierchia The Variablity of Impersonal Subjects
LP-1990-07:
Gennaro Chierchia Anaphora and Dynamic Logic
LP-1990-08:
Herman Hendriks Flexible Montague Grammar
LP-1990-09:
Paul Dekker The Scope of Negation in Discourse, towards a Flexible Dynamic Montague grammar
LP-1990-10:
Theo M.V. Janssen Models for Discourse Markers
LP-1990-11:
Johan van Benthem General Dynamics
LP-1990-12:
Serge Lapierre A Functional Partial Semantics for Intensional Logic
LP-1990-13:
Zhisheng Huang Logics for Belief Dependence
LP-1990-14:
Jeroen Groenendijk, Martin Stokhof Two Theories of Dynamic Semantics
LP-1990-15:
Maarten de Rijke The Modal Logic of Inequality
LP-1990-16:
Zhisheng Huang, Karen Kwast Awareness, Negation and Logical Omniscience
LP-1990-17:
Paul Dekker Existential Disclosure, Implicit Arguments in Dynamic Semantics (superseded by X-1993-01)
ML-1990-01:
Harold Schellinx Isomorphisms and Non-Isomorphisms of Graph Models
ML-1990-02:
Jaap van Oosten A Semantical Proof of De Jongh's Theorem
ML-1990-03:
Yde Venema Relational Games
ML-1990-04:
Maarten de Rijke Unary Interpretability Logic
ML-1990-05:
Domenico Zambella Sequences with Simple Initial Segments
ML-1990-06:
Jaap van Oosten Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman
ML-1990-07:
Maarten de Rijke A Note on the Interpretability Logic of Finitely Axiomatized Theories
ML-1990-08:
Harold Schellinx Some Syntactical Observations on Linear Logic
ML-1990-09:
Dick de Jongh, Duccio Pianigiani Solution of a Problem of David Guaspari
ML-1990-10:
Michiel van Lambalgen Randomness in Set Theory
ML-1990-11:
Paul C. Gilmore The Consistency of an Extended NaDSet
X-1990-01:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version
X-1990-02:
Maarten de Rijke Some Chapters on Interpretability Logic
X-1990-03:
L.D. Beklemishev On the Complexity of Arithmetical Interpretations of Modal Formulae
X-1990-04:
Annual Report 1989
X-1990-05:
Valentin Shehtman Derived Sets in Euclidean Spaces and Modal Logic
X-1990-06:
Valentin Goranko, Solomon Passy Using the Universal Modality: Gains and Questions
X-1990-07:
V.Yu. Shavrukov The Lindenbaum Fixed Point Algebra is Undecidable
X-1990-08:
L.D. Beklemishev Provability Logics for Natural Turing Progressions of Arithmetical Theories
X-1990-09:
V.Yu. Shavrukov On Rosser's Provability Predicate
X-1990-10:
Sieger van Denneheuvel, Peter van Emde Boas An Overview of the Rule Language RL/1
X-1990-11:
Alessandra Carbone Provable Fixed points in ID0+W1 (revised version)
X-1990-12:
Maarten de Rijke Bi-Unary Interpretability Logic
X-1990-13:
K.N. Ignatiev Property, Craig's Property
X-1990-14:
L.A. Chagrova Undecidable Problems in Correspondence Theory
X-1990-15:
A.S. Troelstra Lectures on Linear Logic

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X