Items where Year is 1990

B

LP-1990-03: Bartsch, Renate (1990) Concept Formation and Concept Composition. [Report]

X-1990-03: Beklemishev, L.D. (1990) On the Complexity of Arithmetical Interpretations of Modal Formulae. [Report]

X-1990-08: Beklemishev, L.D. (1990) Provability Logics for Natural Turing Progressions of Arithmetical Theories. [Report]

LP-1990-05: Blackburn, Patrick (1990) Nominal Tense Logic. [Report]

CT-1990-04: Buhrman, Harry and Spaan, Edith and Torenvliet, Leen (1990) Bounded Reductions. [Report]

C

X-1990-11: Carbone, Alessandra (1990) Provable Fixed points in ID0+W1 (revised version). [Report]

X-1990-14: Chagrova, L.A. (1990) Undecidable Problems in Correspondence Theory. [Report]

LP-1990-07: Chierchia, Gennaro (1990) Anaphora and Dynamic Logic. [Report]

LP-1990-06: Chierchia, Gennaro (1990) The Variablity of Impersonal Subjects. [Report]

D

LP-1990-17: Dekker, Paul (1990) Existential Disclosure, Implicit Arguments in Dynamic Semantics (superseded by X-1993-01). [Report]

LP-1990-09: Dekker, Paul (1990) The Scope of Negation in Discourse, towards a Flexible Dynamic Montague grammar. [Report]

CT-1990-07: Doets, Kees (1990) Greatest Fixed Points of Logic Programs. [Report]

CT-1990-08: de Geus, Fred and Rotterdam, Ernest and van Denneheuvel, Sieger and van Emde Boas, Peter (1990) Physiological Modelling using RL. [Report]

ML-1990-09: de Jongh, Dick and Pianigiani, Duccio (1990) Solution of a Problem of David Guaspari. [Report]

X-1990-12: de Rijke, Maarten (1990) Bi-Unary Interpretability Logic. [Report]

LP-1990-15: de Rijke, Maarten (1990) The Modal Logic of Inequality. [Report]

ML-1990-07: de Rijke, Maarten (1990) A Note on the Interpretability Logic of Finitely Axiomatized Theories. [Report]

X-1990-02: de Rijke, Maarten (1990) Some Chapters on Interpretability Logic. [Report]

ML-1990-04: de Rijke, Maarten (1990) Unary Interpretability Logic. [Report]

CT-1990-09: de Vrijer, Roel (1990) Unique Normal Forms for Combinatory Logic with Parallel Conditional, a case study in Conditional Rewriting. [Report]

LP-1990-01: der Does, Jaap van (1990) A Generalized Quantifier Logic for Naked Infinitives. [Report]

G

CT-1990-03: Gavaldà, Ricard and Torenvliet, Leen and Watanabe, Osamu and Balcázar, José L. (1990) Generalized Kolmogorov Complexity in Relativized Separations. [Report]

ML-1990-11: Gilmore, Paul C. (1990) The Consistency of an Extended NaDSet. [Report]

X-1990-06: Goranko, Valentin and Passy, Solomon (1990) Using the Universal Modality: Gains and Questions. [Report]

LP-1990-02: Groenendijk, Jeroen and Stokhof, Martin (1990) Dynamic Montague Grammar. [Report]

LP-1990-14: Groenendijk, Jeroen and Stokhof, Martin (1990) Two Theories of Dynamic Semantics. [Report]

H

LP-1990-08: Hendriks, Herman (1990) Flexible Montague Grammar. [Report]

LP-1990-13: Huang, Zhisheng (1990) Logics for Belief Dependence. [Report]

LP-1990-16: Huang, Zhisheng and Kwast, Karen (1990) Awareness, Negation and Logical Omniscience. [Report]

I

X-1990-13: Ignatiev, K.N. (1990) Property, Craig's Property. [Report]

J

LP-1990-10: Janssen, Theo M.V. (1990) Models for Discourse Markers. [Report]

L

LP-1990-12: Lapierre, Serge (1990) A Functional Partial Semantics for Intensional Logic. [Report]

R

LP-1990-04: Ranta, Aarne (1990) Intuitionistic Categorial Grammar. [Report]

S

ML-1990-01: Schellinx, Harold (1990) Isomorphisms and Non-Isomorphisms of Graph Models. [Report]

ML-1990-08: Schellinx, Harold (1990) Some Syntactical Observations on Linear Logic. [Report]

X-1990-07: Shavrukov, V.Yu. (1990) The Lindenbaum Fixed Point Algebra is Undecidable. [Report]

X-1990-09: Shavrukov, V.Yu. (1990) On Rosser's Provability Predicate. [Report]

X-1990-05: Shehtman, Valentin (1990) Derived Sets in Euclidean Spaces and Modal Logic. [Report]

CT-1990-06: Smid, Michiel and van Emde Boas, Peter (1990) Dynamic Data Structures on Multiple Storage Media, a Tutorial. [Report]

T

X-1990-15: Troelstra, A.S. (1990) Lectures on Linear Logic. [Report]

X-1990-01: Troelstra, A.S. (1990) Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version. [Report]

CT-1990-01: Tromp, John and van Emde Boas, Peter (1990) Associative Storage Modification Machines. [Report]

V

ML-1990-03: Venema, Yde (1990) Relational Games. [Report]

LP-1990-11: van Benthem, Johan (1990) General Dynamics. [Report]

CT-1990-05: van Denneheuvel, Sieger and Kwast, Karen (1990) Efficient Normalization of Database and Constraint Expressions. [Report]

CT-1990-02: van Denneheuvel, Sieger and de Lavalette, Gerard R. Renardel (1990) A Normal Form for PCSJ Expressions. [Report]

X-1990-10: van Denneheuvel, Sieger and van Emde Boas, Peter (1990) An Overview of the Rule Language RL/1. [Report]

ML-1990-10: van Lambalgen, Michiel (1990) Randomness in Set Theory. [Report]

ML-1990-06: van Oosten, Jaap (1990) Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. [Report]

ML-1990-02: van Oosten, Jaap (1990) A Semantical Proof of De Jongh's Theorem. [Report]

Z

ML-1990-05: Zambella, Domenico (1990) Sequences with Simple Initial Segments. [Report]