Number of items: **48**.

DS-1995-19:
Aarts, Erik
(1995)
*Investigations in Logic, Language and Computation.*
Doctoral thesis, University of Amsterdam.

DS-1995-20:
Alechina, Natasha
(1995)
*Modal Quantifiers.*
Doctoral thesis, University of Amsterdam.

ML-1995-05:
Alechina, Natasha and van Lambalgen, Michiel
(1995)
*Generalized Quantification as Substructural Logic.*
[Report]

ML-1995-04:
Andréka, Hajnal and van Benthem, Johan and Németi, István
(1995)
*Back and Forth between Modal Logic and Classical Logic.*
[Report]

CT-1995-06:
Apt, Krzysztof and Ben-Eliyahu, Rachel
(1995)
*Meta-variables in Logic Programming, or the Praise of Ambivalent Syntax.*
[Report]

CT-1995-03:
Apt, Krzysztof and Luitjes, Ingrid
(1995)
*Verification of Logic Programs with Delay Declarations.*
[Report]

LP-1995-02:
Baban, S.T. and Husein, S.
(1995)
*Programmable Grammar of the Kurdish Language.*
[Report]

LP-1995-06:
Beaver, David
(1995)
*An Infinite Number of Monkeys.*
[Report]

DS-1995-14:
Bod, Rens
(1995)
*Enriching Linguistics with Statistics: Performance Models of Natural Language.*
Doctoral thesis, University of Amsterdam.

DS-1995-01:
Brunekreef, Jacob
(1995)
*On Modular Algebraic Protocol Specification.*
Doctoral thesis, University of Amsterdam.

DS-1995-10:
Cepparello, Giovanna
(1995)
*Studies in Dynamic Logic.*
Doctoral thesis, University of Amsterdam.

LP-1995-07:
Dekker, Paul
(1995)
*The Values of Variables in Dynamic Semantics.*
[Report]

ML-1995-06:
de Jongh, Dick and Visser, Albert
(1995)
*Embeddings of Heyting Algebras (revised version of ML-1993-14).*
[Report]

LP-1995-04:
der Does, Jaap van and Verkuyl, Henk
(1995)
*Quantification and Predication.*
[Report]

LP-1995-08:
der Does, Jaap van and van Eijck, Jan
(1995)
*Basic Quantifier Theory.*
[Report]

CT-1995-05:
Engelfriet, Joeri
(1995)
*Minimal Temporal Epistemic Logic.*
[Report]

DS-1995-07:
Etalle, Sandro
(1995)
*Transformation and Analysis of (Constraint) Logic Programs.*
Doctoral thesis, University of Amsterdam.

DS-1995-16:
Fischer, Sophie
(1995)
*The Solution Sets of Local Search Problems.*
Doctoral thesis, University of Amsterdam.

X-1995-01:
Fischer, Sophie and Torenvliet, Leen
(1995)
*The Malleability of $TSP_{2Opt}$.*
[Report]

LP-1995-09:
Groenendijk, Jeroen and Stokhof, Marin and Veltman, Frank
(1995)
*Coreference and Modality.*
[Report]

LP-1995-10:
Groenendijk, Jeroen and Stokhof, Martin and Veltman, Frank
(1995)
*Coreference and Contextually Restricted Quantification.*
[Report]

DS-1995-18:
Groeneveld, Willem
(1995)
*Logical Investigations into Dynamic Semantics.*
Doctoral thesis, University of Amsterdam.

DS-1995-13:
Kalsbeek, Marianne
(1995)
*Meta-Logics for Logic Programming.*
Doctoral thesis, University of Amsterdam.

CT-1995-01:
Kalsbeek, Marianne and Jiang, Yuejun
(1995)
*A Vademecum of Ambivalent Logic.*
[Report]

ML-1995-03:
Kanovei, Vladimir and van Lambalgen, Michiel
(1995)
*On a Spector Ultrapower of the Solovay Model.*
[Report]

ML-1995-10:
Kopylov, Alexei P.
(1995)
*The Undecidability of Second Order Linear Affine Logic.*
[Report]

DS-1995-08:
Kurtonina, Natasha
(1995)
*Frames and Labels. A Modal Analysis of Categorial Inference.*
Doctoral thesis, University of Amsterdam.

DS-1995-17:
Leezenberg, Michiel
(1995)
*Contexts of Metaphor.*
Doctoral thesis, University of Amsterdam.

DS-1995-03:
Marx, Maarten
(1995)
*Algebraic Relativization and Arrow Logic.*
Doctoral thesis, University of Amsterdam.

DS-1995-12:
Mikulás, Szabolcs
(1995)
*Taming Logics.*
Doctoral thesis, University of Amsterdam.

ML-1995-09:
Ono, Hiroakira
(1995)
*Decidability and Finite Model Property of Substructural Logics.*
[Report]

DS-1995-02:
Prijatelj, Andreja
(1995)
*Investigating Bounded Contraction.*
Doctoral thesis, University of Amsterdam.

LP-1995-05:
Rakic, Nata~a
(1995)
*Past, Present, Future and Special Relativity.*
[Report]

ML-1995-08:
Rosen, Eric
(1995)
*Modal Logic over Finite Structures.*
[Report]

LP-1995-03:
Swirydowicz, Kazimierz
(1995)
*There exist exactly two Maximal Strictly Relevant Extensions of the Relevant Logic $R^\ast$.*
[Report]

DS-1995-05:
Tip, Frank
(1995)
*Generation of Program Analysis Tools.*
Doctoral thesis, University of Amsterdam.

CT-1995-02:
Torenvliet, Leen and Trautwein, Marten
(1995)
*A Note on the Complexity of Restricted Attribute-Value Grammars.*
[Report]

DS-1995-15:
Trautwein, Marten
(1995)
*Computational Pitfalls in Tractable Grammatical Formalisms.*
Doctoral thesis, University of Amsterdam.

LP-1995-01:
Trautwein, Marten
(1995)
*Assessing Complexity Results in Feature Theories.*
[Report]

DS-1995-09:
Veltink, G.J.
(1995)
*Tools for PSF.*
Doctoral thesis, University of Amsterdam.

DS-1995-11:
Viol, W.P.M. Meyer
(1995)
*Instantial Logic. An Investigation into Reasoning with Instances.*
Doctoral thesis, University of Amsterdam.

CT-1995-04:
Vitányi, Paul
(1995)
*Randomness.*
[Report]

CT-1995-07:
Voorbraak, Frans
(1995)
*Combining Unreliable Pieces of Evidence.*
[Report]

ML-1995-07:
van Benthem, Johan
(1995)
*Modal Foundations of Predicate Logic.*
[Report]

ML-1995-02:
van Benthem, Johan and D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto
(1995)
*Modal Deduction in Second-Order Logic and Set Theory.*
[Report]

ML-1995-01:
van Lambalgen, Michiel
(1995)
*Randomness and Infinity.*
[Report]

DS-1995-06:
van Wamel, Jos
(1995)
*Verification Techniques for Elementary Data Types and Retransmission Protocols.*
Doctoral thesis, University of Amsterdam.

DS-1995-04:
Wang, Dejuan
(1995)
*Study on the Formal Semantics of Pictures.*
Doctoral thesis, University of Amsterdam.