ILLC Publications, All Series, 1996

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-1996-02:
Arthur Bakker, Renatus Ziegler Finsler-Mengenlehre.
1.Full Text.
X-1996-01:
Ingmar Visser Mind Rules: a Philosophical Essay on Psychological Rules and the Rules of Psychology.
1.Full Text, 2.Abstract.
ML-1996-13:
Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation.
1.Full Text, 2.Abstract.
ML-1996-12:
Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games.
1.Full Text, 2.Abstract.
ML-1996-11:
Domenico Zambella Forcing in Finite Structures (revised version of ML-1996-02).
1.Full Text, 2.Abstract.
ML-1996-10:
Vladimir Kanovei On a Dichotomy related to Colourings of Definable Graphs in Generic Models.
1.Full Text, 2.Abstract.
ML-1996-08:
Johan van Benthem, Angelo Montanari, Giovanna D'Agostino, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - II.
1.Full Text, 2.Abstract.
ML-1996-07:
Angelo Montanari, Adriano Peron, Alberto Policriti Decidable Theories of $\omega$-Layered Metric Temporal Structures.
1.Full Text, 2.Abstract.
ML-1996-06:
Angelo Montanari, Alberto Policriti A Decidable Theory of Finitely-Layered Metric Temporal Structures.
1.Full Text, 2.Abstract.
ML-1996-05:
Søren Riis Count($q$) versus the Pigeon-Hole Principle.
1.Full Text.
ML-1996-04:
Kees Doets Proper Classes.
1.Full Text, 2.Abstract.
ML-1996-03:
Hajnal Andréka, Johan van Benthem, István Németi Modal Languages and Bounded Fragments of Predicate Logic.
1.Full Text.
ML-1996-02:
Domenico Zambella On Forcing in Bounded Arithmetic (superseded by ML-1996-11).
1.Full Text.
ML-1996-01:
Domenico Zambella Algebraic Methods and Bounded Formulas.
1.Full Text, 2.Abstract.
LP-1996-14:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision: Preliminaries (preliminary to LP-1997-07: updated version on author's homepage).
1.Full Text, 2.Abstract.
LP-1996-13:
Rens Bod, Remko Scha Data-Oriented Language Processing: An Overview.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1996-12:
Paul Dekker Reference and Representation.
1.Full Text, 2.Abstract.
LP-1996-11:
Renate Bartsch Propositional Attitudes in Dynamic Conceptual Semantics.
1.Full Text, 2.Abstract.
LP-1996-10:
Jelle Gerbrandy, Willem Groeneveld Reasoning about Information Change.
1.Full Text, 2.Abstract.
LP-1996-09:
Jaap van der Does, Willem Groeneveld, Frank Veltman An Update on \em Might \em .
1.Full Text (PDF), 2.Full Text (PS).
LP-1996-08:
John Case The Power of Vacillation in Language Learning.
1.Full Text, 2.Abstract.
LP-1996-07:
Frans Voorbraak Probabilistic Belief Expansion and Conditioning.
1.Full Text, 2.Abstract.
LP-1996-06:
Fran\c{c}ois Lepage, Serge Lapierre The Functional Completeness of 4-value Monotonic Protothetics.
1.Full Text.
LP-1996-05:
Dick de Jongh, Makoto Kanazawa Angluin's Theorem for Indexed Families of R.E. Sets and Applications.
1.Full Text, 2.Abstract.
LP-1996-04:
Reinhard Muskens, Johan van Benthem, Albert Visser Dynamics.
1.Full Text.
LP-1996-03:
Theo M.V. Janssen Compositionality.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1996-02:
David Beaver Presupposition.
1.Full Text.
LP-1996-01:
Renate Bartsch Understanding Understanding.
1.Full Text.
CT-1996-02:
A.S. Troelstra From Constructivism to Computer Science.
1.Full Text, 2.Abstract.
CT-1996-01:
Peter van Emde Boas The Convenience of Tilings.
1.Full Text, 2.Abstract.

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