ILLC Publications, Logic, Philosophy and Linguistics (LP) Series

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

LP-1998-17:
Kazushige Terui Anaphoric Linking at Run Time: A Type-Logical Account of Discourse Representation.
1.Full Text, 2.Abstract.
LP-1998-16:
Yde Venema Temporal Logic.
1.Full Text, 2.Abstract.
LP-1998-15:
Paul Dekker Speaker's Reference, Descriptions and Information Structure.
1.Full Text, 2.Abstract.
LP-1998-14:
Hans Rott Words in Contexts: Fregean Elucidations.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-13:
Hans Rott "Just Because": Taking Belief Bases Seriously.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-12:
Dick de Jongh, Paul van Ulsen Beth's Nonclassical Valuations.
1.Full Text.
LP-1998-11:
Christof Monz, Maarten de Rijke A Resolution Calculus for Dynamic Semantics.
1.Full Text, 2.Abstract.
LP-1998-10:
Christof Monz, Maarten de Rijke A Tableaux Calculus for Ambiguous Quantification.
1.Full Text, 2.Abstract.
LP-1998-09:
Carlos Areces, Verónica Becher Iterable AGM Functions.
1.Full Text, 2.Abstract.
LP-1998-08:
Jan van Eijck Incremental Dynamics.
1.Full Text, 2.Abstract.
LP-1998-07:
Jan van Eijck Axiomatising Dynamic Logics for Anaphora.
1.Full Text, 2.Abstract.
LP-1998-06:
Renate Bartsch The Formal Relationship between Dynamic Conceptual Semantics and Connectionist Neural Network Modelling.
1.Full Text.
LP-1998-05:
Johan van Benthem Linguistic Grammar as Dynamic Logic.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1998-04:
Renata Wassermann Resource Bounded Belief Revision.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-03:
Renate Bartsch The Role of Consciousness and Intentionality in Perception, Semantics, Representations and Rules.
1.Full Text, 2.Abstract.
LP-1998-02:
Jaap van der Does, Helen de Hoop Type-shifting and Scrambled Definites.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-01:
Hans Rott, Maurice Pagnucco Severe Withdrawal (and Recovery).
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1997-10:
Jan van Eijck Dynamic Reasoning Without Variables.
1.Full Text, 2.Abstract.
LP-1997-09:
Frans Voorbraak A Nonmonotonic Observation Logic.
1.Full Text, 2.Abstract.
LP-1997-08:
Johan van Benthem Wider Still and Wider... Resetting the Bounds of Logic.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1997-07:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision (expansion of LP-1996-14).
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1997-06:
Jan van Eijck Typed Logic With States.
1.Full Text, 2.Abstract.
LP-1997-05:
Jelle Gerbrandy Bisimulation and Bounded Bisimulation.
1.Full Text, 2.Abstract.
LP-1997-04:
Jelle Gerbrandy Dynamic Epistemic Logic.
1.Full Text.
LP-1997-03:
Paul Dekker On First Order Information Exchange.
1.Full Text, 2.Abstract.
LP-1997-02:
Paul Dekker On Denoting Descriptions.
1.Full Text, 2.Abstract.
LP-1997-01:
Johan van Benthem Dynamic Bits and Pieces.
1.Full Text (PS), 2.Full Text (PDF), 3.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.
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.
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.
LP-1993-15:
David Ian Beaver What comes first in Dynamic Semantics.
1.Full Text.
LP-1993-14:
Mati Pentus Lambek Calculus is L-complete.
1.Full Text.
LP-1993-13:
Natasha Alechina Binary Quantifiers and Relational Semantics.
1.Full Text.
LP-1993-12:
Jaap van der Does On Complex Plural Noun Phrases.
1.Full Text.
LP-1993-11:
Friederike Moltmann Resumptive Quantifiers in Exception Sentences.
1.Full Text.
LP-1993-10:
Makoto Kanazawa Weak vs. Strong Readings of Donkey Sentences and Monotonicity Inference in a Dynamic Setting.
1.Full Text.
LP-1993-09:
Makoto Kanazawa Completeness and Decidability of the Mixed Style of Inference with Composition.
1.Full Text.
LP-1993-08:
Zisheng Huang, Peter van Emde Boas Information Acquisition from Multi-Agent resources; abstract.
1.Full Text.
LP-1993-07:
Wojciech Buszkowski On the Equivalence of Lambek Categorial Grammars and Basic Categorial Grammars.
1.Full Text.
LP-1993-06:
Paul Dekker Updates in Dynamic Semantics.
1.Full Text.
LP-1993-05:
Jaap van der Does Sums and Quantifiers.
1.Full Text.
LP-1993-04:
Jacques van Leeuwen Identity, Quarrelling with an Unproblematic Notion.
1.Full Text.
LP-1993-03:
Nikolai Pankrat'ev Completeness of the Lambek Calculus with respect to Relativized Relational Semantics.
1.Full Text.
LP-1993-02:
Makoto Kanazawa Dynamic Generalized Quantifiers and Monotonicity.
1.Full Text.
LP-1993-01:
Martijn Spaan Parallel Quantification.
1.Full Text.
LP-1992-14:
Jeroen Groenendijk, Martin Stokhof Interrogatives and Adverbs of Quantification.
1.Full Text.
LP-1992-13:
Dag Westerstæhl Iterated Quantifiers.
1.Full Text.
LP-1992-12:
Heinrich Wansing Sequent Caluli for Normal Modal Propositional Logics.
1.Full Text.
LP-1992-11:
Johan van Benthem A Note on Dynamic Arrow Logic.
1.Full Text.
LP-1992-10:
Maarten de Rijke Meeting Some Neighbours (a dynamic modal logic meets theories of change and knowledge representation).
1.Full Text.
LP-1992-09:
Johan van Benthem Quantifiers in the world of Types.
1.Full Text.
LP-1992-08:
Maarten de Rijke A System of Dynamic Modal Logic.
1.Full Text.
LP-1992-07:
Jeroen Groenendijk, Martin Stokhof A Note on Interrogatives and Adverbs of Quantification.
1.Full Text.
LP-1992-06:
Patrick Blackburn, Edith Spaan A Modal Perspective on the Computational Complexity of Attribute Value Grammar.
1.Full Text.
LP-1992-05:
David I. Beaver The Kinematics of Presupposition.
1.Full Text.
LP-1992-04:
Paul Dekker An Update Semantics for Dynamic Predicate Logic.
1.Full Text.
LP-1992-03:
Szabolcs Mikulás The Completeness of the Lambek Calculus with respect to Relational Semantics.
1.Full Text.
LP-1992-02:
Patrick Blackburn Modal Logic and Attribute Value Structures.
1.Full Text.
LP-1992-01:
Víctor Sánchez Valencia Lambek Grammar: an Information-based Categorial Grammar.
1.Full Text.
LP-1991-10:
Johan van Benthem Logic and the Flow of Information.
1.Full Text.
LP-1991-09:
Arthur Nieuwendijk Semantics and Comparative Logic.
1.Full Text.
LP-1991-08:
Víctor Sánchez Valencia Categorial Grammar and Natural Reasoning.
1.Full Text.
LP-1991-07:
Henk Verkuyl, Jaap van der Does The Semantics of Plural Noun Phrases.
1.Full Text.
LP-1991-06:
Zhisheng Huang, Peter van Emde Boas Belief Dependence, Revision and Persistence.
1.Full Text.
LP-1991-05:
Zhisheng Huang, Peter van Emde Boas The Schoenmakers Paradox: Its Solution in a Belief Dependence Framework.
1.Full Text.
LP-1991-04:
Makoto Kanazawa The Lambek Calculus enriched with Additional Connectives.
1.Full Text.
LP-1991-03:
Willem Groeneveld Dynamic Semantics and Circular Propositions (superseded by X-1992-03).
1.Full Text.
LP-1991-02:
Frank Veltman Defaults in Update Semantics.
1.Full Text.
LP-1991-01:
Wiebe van der Hoek, Maarten de Rijke Generalized Quantifiers and Modal Logic.
1.Full Text.
LP-1990-17:
Paul Dekker Existential Disclosure, Implicit Arguments in Dynamic Semantics (superseded by X-1993-01).
1.Full Text.
LP-1990-16:
Zhisheng Huang, Karen Kwast Awareness, Negation and Logical Omniscience.
1.Full Text.
LP-1990-15:
Maarten de Rijke The Modal Logic of Inequality.
1.Full Text.
LP-1990-14:
Jeroen Groenendijk, Martin Stokhof Two Theories of Dynamic Semantics.
1.Full Text.
LP-1990-13:
Zhisheng Huang Logics for Belief Dependence.
1.Full Text.
LP-1990-12:
Serge Lapierre A Functional Partial Semantics for Intensional Logic.
1.Full Text.
LP-1990-11:
Johan van Benthem General Dynamics.
1.Full Text.
LP-1990-10:
Theo M.V. Janssen Models for Discourse Markers.
1.Full Text.
LP-1990-09:
Paul Dekker The Scope of Negation in Discourse, towards a Flexible Dynamic Montague grammar.
1.Full Text.
LP-1990-08:
Herman Hendriks Flexible Montague Grammar.
1.Full Text.
LP-1990-07:
Gennaro Chierchia Anaphora and Dynamic Logic.
1.Full Text.
LP-1990-06:
Gennaro Chierchia The Variablity of Impersonal Subjects.
1.Full Text.
LP-1990-05:
Patrick Blackburn Nominal Tense Logic.
1.Full Text.
LP-1990-04:
Aarne Ranta Intuitionistic Categorial Grammar.
1.Full Text.
LP-1990-03:
Renate Bartsch Concept Formation and Concept Composition.
1.Full Text.
LP-1990-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar.
1.Full Text.
LP-1990-01:
Jaap van der Does A Generalized Quantifier Logic for Naked Infinitives.
LP-1989-09:
Zhisheng Huang Dependency of Belief in Distributed Systems.
1.Full Text.
LP-1989-08:
Victor Sánchez Valencia Peirce's Propositional Logic: From Algebra to Graphs.
1.Full Text.
LP-1989-07:
Heinrich Wansing The Adequacy Problem for Sequential Propositional Logic.
LP-1989-06:
Andreja Prijatelj Intensional Lambek Calculi: Theory and Application.
LP-1989-05:
Johan van Benthem Modal Logic as a Theory of Information.
1.Full Text.
LP-1989-04:
Johan van Benthem Language in Action.
1.Full Text.
LP-1989-03:
Yde Venema Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals.
1.Full Text.
LP-1989-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse.
1.Full Text.
LP-1989-01:
Johan van Benthem The Fine-Structure of Categorial Semantics.
1.Full Text.
LP-1988-10:
Anneke Kleppe A Blissymbolics Translation Program.
1.Full Text.
LP-1988-09:
Theo M.V. Janssen A mathematical model for the CAT framework of Eurotra.
1.Full Text.
LP-1988-08:
Jeroen Groenendijk, Martin Stokhof Context and Information in Dynamic Semantics.
1.Full Text.
LP-1988-07:
Renate Bartsch Tenses, Aspecs and their Scopes in Discourse.
1.Full Text.
LP-1988-06:
Johan van Benthem Semantic Parallels in Natural Language and Computation.
1.Full Text.
LP-1988-05:
Johan van Benthem Logical Constants across Varying Types.
1.Full Text.
LP-1988-04:
Reinhard Muskens Going Partial in Montague Grammar.
1.Full Text.
LP-1988-03:
n.v.t. Year Report 1987.
LP-1988-02:
Yde Venema Experssive and Completeness.
LP-1988-01:
Michiel van Lambalgen Algorithmic Information Theory.

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