Items where Year is 1995

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]

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]

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

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]

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.