-
CT-1995-01:
-
Marianne Kalsbeek, Yuejun Jiang
A Vademecum of Ambivalent Logic
-
CT-1995-02:
-
Leen Torenvliet, Marten Trautwein
A Note on the Complexity of Restricted Attribute-Value Grammars
-
CT-1995-03:
-
Krzysztof Apt, Ingrid Luitjes
Verification of Logic Programs with Delay Declarations
-
CT-1995-04:
-
Paul Vitányi
Randomness
-
CT-1995-05:
-
Joeri Engelfriet
Minimal Temporal Epistemic Logic
-
CT-1995-06:
-
Krzysztof Apt, Rachel Ben-Eliyahu
Meta-variables in Logic Programming, or the Praise of Ambivalent Syntax
-
CT-1995-07:
-
Frans Voorbraak
Combining Unreliable Pieces of Evidence
-
LP-1995-01:
-
Marten Trautwein
Assessing Complexity Results in Feature Theories
-
LP-1995-02:
-
S.T. Baban, S. Husein
Programmable Grammar of the Kurdish Language
-
LP-1995-03:
-
Kazimierz Swirydowicz
There exist exactly two Maximal Strictly Relevant Extensions of the Relevant Logic $R^\ast$
-
LP-1995-04:
-
Jaap van der Does, Henk Verkuyl
Quantification and Predication
-
LP-1995-05:
-
Nata~a Rakic
Past, Present, Future and Special Relativity
-
LP-1995-06:
-
David Beaver
An Infinite Number of Monkeys
-
LP-1995-07:
-
Paul Dekker
The Values of Variables in Dynamic Semantics
-
LP-1995-08:
-
Jaap van der Does, Jan van Eijck
Basic Quantifier Theory
-
LP-1995-09:
-
Jeroen Groenendijk, Marin Stokhof, Frank Veltman
Coreference and Modality
-
LP-1995-10:
-
Jeroen Groenendijk, Martin Stokhof, Frank Veltman
Coreference and Contextually Restricted Quantification
-
ML-1995-01:
-
Michiel van Lambalgen
Randomness and Infinity
-
ML-1995-02:
-
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
Modal Deduction in Second-Order Logic and Set Theory
-
ML-1995-03:
-
Vladimir Kanovei, Michiel van Lambalgen
On a Spector Ultrapower of the Solovay Model
-
ML-1995-04:
-
Hajnal Andréka, Johan van Benthem, István Németi
Back and Forth between Modal Logic and Classical Logic
-
ML-1995-05:
-
Natasha Alechina, Michiel van Lambalgen
Generalized Quantification as Substructural Logic
-
ML-1995-06:
-
Dick de Jongh, Albert Visser
Embeddings of Heyting Algebras (revised version of ML-1993-14)
-
ML-1995-07:
-
Johan van Benthem
Modal Foundations of Predicate Logic
-
ML-1995-08:
-
Eric Rosen
Modal Logic over Finite Structures
-
ML-1995-09:
-
Hiroakira Ono
Decidability and Finite Model Property of Substructural Logics
-
ML-1995-10:
-
Alexei P. Kopylov
The Undecidability of Second Order Linear Affine Logic
-
X-1995-01:
-
Sophie Fischer, Leen Torenvliet
The Malleability of $TSP_{2Opt}$
