ILLC Publications, All Series, 1990

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.


Coding for publications: Series-Year-Number, with DS = Dissertation Series; MoL = Master of Logic Thesis; PP = Prepublication Series (since 1999); X = Technical Notes; CL = Computational Linguistics (up to 1993); CT = Computation and Complexity Theory (up to 1998); LP = Logic, Philosophy and Linguistics (up to 1998); ML = Mathematical Logic and Foundations (up to 1998); ITLI = Instituut voor Taal, Logika en Informatie (up to 1987);

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

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