ILLC Publications, All Series, 1994

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-1994-07:
Michiel Leezenberg The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan.
1.Full Text.
X-1994-06:
Natasha Alechina, Philippe Smets A Note on Modal Logics for Partial Belief.
1.Full Text.
X-1994-05:
Johan van Benthem Logic and Argumentation.
1.Full Text.
X-1994-04:
Harry P. Stein Primitieve Normen: Linguïstische Normativiteit in het Licht van Kripke's Sceptische Paradox.
1.Full Text.
X-1994-03:
Natasha Alechina, Michiel van Lambalgen Correspondence and Completeness for Generalized Quantifiers.
1.Full Text.
X-1994-02:
Vladimir Kanovei, Michiel van Lambalgen Another Construction of Choiceless Ultrapower.
1.Full Text.
X-1994-01:
Johan van Benthem Two Essays on Semantic Modelling.
1.Full Text.
ML-1994-13:
Marco R. Vervoort An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness.
1.Full Text, 2.Abstract, 3.Old (PS), 4.Old (PDF).
ML-1994-12:
Victor Selivanov Fine Hierarchy and Definability in the Lindenbaum Algebra.
1.Full Text.
ML-1994-11:
Natasha Alechina On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic.
1.Full Text, 2.Abstract.
ML-1994-10:
Elena Nogina Logic of Proofs with the Strong Provability Operator.
1.Full Text, 2.Abstract.
ML-1994-09:
Giovanna D'Agostino, Angelo Montanari, Alberto Policriti A Set-Theoretic Translation Method for Polymodal Logics.
1.Full Text, 2.Abstract.
ML-1994-08:
Andreja Prijatelj Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions.
1.Full Text, 2.Abstract.
ML-1994-07:
Sergei Artëmov, Artëm Chuprina Logic of Proofs with Complexity Operators.
1.Full Text.
ML-1994-06:
Lex Hendriks, Dick de Jongh Finitely Generated Magari Algebras and Arithmetic.
1.Full Text, 2.Abstract.
ML-1994-05:
V. Kanovei IST is more than an Algorithm to prove ZFC Theorems.
1.Full Text.
ML-1994-04:
Michiel van Lambalgen Independence Structures in Set Theory.
1.Full Text, 2.Abstract.
ML-1994-03:
Johan van Benthem, Dick de Jongh, Gerard Renardel de Lavalette, Albert Visser NNIL, A Study in Intuitionistic Propositional Logic.
1.Full Text.
ML-1994-02:
Domenico Zambella End Extensions of Models of Linearly Bounded Arithmetic.
1.Full Text, 2.Abstract.
ML-1994-01:
Domenico Zambella Notes on polynomially bounded arithmetic.
1.Full Text, 2.Abstract.
LP-1994-24:
Michiel Leezenberg Metaphor and Literacy.
1.Full Text.
LP-1994-23:
Jaap van der Does Cut Might Cautiously.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1994-22:
Maarten Marx, Szabolcs Mikulás, István Németi Taming Arrow Logic.
1.Full Text.
LP-1994-21:
Noor van Leusen The Interpretation of Corrections.
1.Full Text.
LP-1994-20:
Renate Bartsch The Myth of Literal Meaning.
1.Full Text.
LP-1994-19:
Renate Bartsch The Relationship between Connectionist Models and a Dynamic Data-Oriented Theory of Concept Formation.
1.Full Text, 2.Abstract.
LP-1994-18:
Claire Gardent Discourse Multiple Dependencies.
1.Full Text, 2.Abstract.
LP-1994-17:
David Beaver Accommodating Topics.
1.Full Text.
LP-1994-16:
David Beaver When Variables Don't Vary Enough.
1.Full Text.
LP-1994-15:
Henk Zeevat The Mechanics of the Counterpart Relation.
1.Full Text.
LP-1994-14:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman Update Semantics for Modal Predicate Logic.
1.Full Text.
LP-1994-13:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman This Might Be It.
1.Full Text.
LP-1994-12:
Paul Dekker Representation and Information in Dynamic Semantics.
1.Full Text, 2.Abstract.
LP-1994-11:
Paul Dekker Predicate Logic with Anaphora.
1.Full Text, 2.Abstract.
LP-1994-10:
Harry P. Stein The Hazards of Harmony.
1.Full Text.
LP-1994-09:
Harry P. Stein Linguistic Normativity and Kripke's Sceptical Paradox.
1.Full Text.
LP-1994-08:
Daniel Osherson, Scott Weinstein, Dick de Jongh, Eric Martin Formal Learning Theory.
1.Full Text.
LP-1994-07:
Nata\v{s}a Rakic Absolute Time, Special Relativity and ML$^\nu$.
1.Full Text.
LP-1994-06:
Johan van Benthem, Dag Westerståhl Directions in Generalized Quantifier Theory.
1.Full Text (PDF), 2.Full Text (PS).
LP-1994-05:
Natasha Kurtonina The Lambek Calculus: Relational Semantics and the Method of Labelling.
1.Full Text, 2.Abstract.
LP-1994-04:
Kazimierz Swirydowicz A Remark on the Maximal Extensions of the Relevant Logic \em R.
1.Full Text.
LP-1994-03:
Jerry Seligman An algebraic appreciation of diagrams.
1.Full Text.
LP-1994-02:
Andrei Arsov Basic Arrow Logic with Relation Algebraic Operators.
1.Full Text.
LP-1994-01:
Dimitar Gelev Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities.
1.Full Text, 2.Abstract.
CT-1994-14:
Henkjan Honing The Vibrato Problem. Comparing two Ways to Describe the Intraction between the Continuous Knowledge and Discrete Components in Music Representation Systems.
1.Full Text, 2.Abstract.
CT-1994-13:
Peter Desain, Henkjan Honing CLOSe to the edge? Advanced Object-Oriented Techniques in the Representation of Musical Knowledge.
1.Full Text, 2.Abstract.
CT-1994-12:
Marianne Kalsbeek Gentzen Systems for Logic Programming Styles.
1.Full Text.
CT-1994-11:
Natasha Alechina Logic with Probabilistic Operators.
1.Full Text.
CT-1994-10:
Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan A. Terwijn Genericity and Measure for Exponential Time.
1.Full Text, 2.Abstract.
CT-1994-09:
Klaus Ambos-Spies, Sebastiaan A. Terwijn, Zheng Xizhong Resource Bounded Randomness and Weakly Complete Problems.
1.Full Text, 2.Abstract.
CT-1994-08:
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling The STO-problem is NP-hard.
1.Full Text.
CT-1994-07:
Charles H. Bennett, Péter Gács, Ming Li, Paul M.B. Vitányi, Wojciech H. Zurek Thermodynamics of Computation and Information Distance.
1.Full Text.
CT-1994-06:
Guido te Brake, Joost N. Kok, Paul Vitányi Model Selection for Neural Networks: Comparing MDL and NIC.
1.Full Text.
CT-1994-05:
Tao Jiang, Joel I. Seiferas, Paul M.B. Vitányi Two heads are Better than Two Tapes.
1.Full Text.
CT-1994-04:
Ming Lee, Paul Vitányi Inductive Reasoning.
1.Full Text.
CT-1994-03:
Ming Lee, John Tromp, Paul Vitányi Sharpening Occam's Razor (extended abstract).
1.Full Text.
CT-1994-02:
Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul Vitányi Randomized Wait-Free Distributed Naming.
1.Full Text.
CT-1994-01:
Harry Buhrman, Leen Torenvliet On the Cutting Edge of Relativization: the Resource Bounded Injury Method.
1.Full Text.

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