ILLC Publications, All Series, 1995

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

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