Logic, Philosophy and Linguistics (LP) Series (1988-1998)

LP-1998-17:
Kazushige Terui Anaphoric Linking at Run Time: A Type-Logical Account of Discourse Representation
LP-1998-16:
Yde Venema Temporal Logic
LP-1998-15:
Paul Dekker Speaker's Reference, Descriptions and Information Structure
LP-1998-14:
Hans Rott Words in Contexts: Fregean Elucidations
LP-1998-13:
Hans Rott "Just Because": Taking Belief Bases Seriously
LP-1998-12:
Dick de Jongh, Paul van Ulsen Beth's Nonclassical Valuations
LP-1998-11:
Christof Monz, Maarten de Rijke A Resolution Calculus for Dynamic Semantics
LP-1998-10:
Christof Monz, Maarten de Rijke A Tableaux Calculus for Ambiguous Quantification
LP-1998-09:
Carlos Areces, Verónica Becher Iterable AGM Functions
LP-1998-08:
Jan van Eijck Incremental Dynamics
LP-1998-07:
Jan van Eijck Axiomatising Dynamic Logics for Anaphora
LP-1998-06:
Renate Bartsch The Formal Relationship between Dynamic Conceptual Semantics and Connectionist Neural Network Modelling
LP-1998-05:
Johan van Benthem Linguistic Grammar as Dynamic Logic
LP-1998-04:
Renata Wassermann Resource Bounded Belief Revision
LP-1998-03:
Renate Bartsch The Role of Consciousness and Intentionality in Perception, Semantics, Representations and Rules
LP-1998-02:
Jaap van der Does, Helen de Hoop Type-shifting and Scrambled Definites
LP-1998-01:
Hans Rott, Maurice Pagnucco Severe Withdrawal (and Recovery)
LP-1997-10:
Jan van Eijck Dynamic Reasoning Without Variables
LP-1997-09:
Frans Voorbraak A Nonmonotonic Observation Logic
LP-1997-08:
Johan van Benthem Wider Still and Wider... Resetting the Bounds of Logic
LP-1997-07:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision (expansion of LP-1996-14)
LP-1997-06:
Jan van Eijck Typed Logic With States
LP-1997-05:
Jelle Gerbrandy Bisimulation and Bounded Bisimulation
LP-1997-04:
Jelle Gerbrandy Dynamic Epistemic Logic
LP-1997-03:
Paul Dekker On First Order Information Exchange
LP-1997-02:
Paul Dekker On Denoting Descriptions
LP-1997-01:
Johan van Benthem Dynamic Bits and Pieces
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)
LP-1996-13:
Rens Bod, Remko Scha Data-Oriented Language Processing: An Overview
LP-1996-12:
Paul Dekker Reference and Representation
LP-1996-11:
Renate Bartsch Propositional Attitudes in Dynamic Conceptual Semantics
LP-1996-10:
Jelle Gerbrandy, Willem Groeneveld Reasoning about Information Change
LP-1996-09:
Jaap van der Does, Willem Groeneveld, Frank Veltman An Update on \em Might \em
LP-1996-08:
John Case The Power of Vacillation in Language Learning
LP-1996-07:
Frans Voorbraak Probabilistic Belief Expansion and Conditioning
LP-1996-06:
François Lepage, Serge Lapierre The Functional Completeness of 4-value Monotonic Protothetics
LP-1996-05:
Dick de Jongh, Makoto Kanazawa Angluin's Theorem for Indexed Families of R.E. Sets and Applications
LP-1996-04:
Reinhard Muskens, Johan van Benthem, Albert Visser Dynamics
LP-1996-03:
Theo M.V. Janssen Compositionality
LP-1996-02:
David Beaver Presupposition
LP-1996-01:
Renate Bartsch Understanding Understanding
LP-1995-10:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman Coreference and Contextually Restricted Quantification
LP-1995-09:
Jeroen Groenendijk, Marin Stokhof, Frank Veltman Coreference and Modality
LP-1995-08:
Jaap van der Does, Jan van Eijck Basic Quantifier Theory
LP-1995-07:
Paul Dekker The Values of Variables in Dynamic Semantics
LP-1995-06:
David Beaver An Infinite Number of Monkeys
LP-1995-05:
Nata~a Rakic Past, Present, Future and Special Relativity
LP-1995-04:
Jaap van der Does, Henk Verkuyl Quantification and Predication
LP-1995-03:
Kazimierz Swirydowicz There exist exactly two Maximal Strictly Relevant Extensions of the Relevant Logic $R^\ast$
LP-1995-02:
S.T. Baban, S. Husein Programmable Grammar of the Kurdish Language
LP-1995-01:
Marten Trautwein Assessing Complexity Results in Feature Theories
LP-1994-24:
Michiel Leezenberg Metaphor and Literacy
LP-1994-23:
Jaap van der Does Cut Might Cautiously
LP-1994-22:
Maarten Marx, Szabolcs Mikulás, István Németi Taming Arrow Logic
LP-1994-21:
Noor van Leusen The Interpretation of Corrections
LP-1994-20:
Renate Bartsch The Myth of Literal Meaning
LP-1994-19:
Renate Bartsch The Relationship between Connectionist Models and a Dynamic Data-Oriented Theory of Concept Formation
LP-1994-18:
Claire Gardent Discourse Multiple Dependencies
LP-1994-17:
David Beaver Accommodating Topics
LP-1994-16:
David Beaver When Variables Don't Vary Enough
LP-1994-15:
Henk Zeevat The Mechanics of the Counterpart Relation
LP-1994-14:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman Update Semantics for Modal Predicate Logic
LP-1994-13:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman This Might Be It
LP-1994-12:
Paul Dekker Representation and Information in Dynamic Semantics
LP-1994-11:
Paul Dekker Predicate Logic with Anaphora
LP-1994-10:
Harry P. Stein The Hazards of Harmony
LP-1994-09:
Harry P. Stein Linguistic Normativity and Kripke's Sceptical Paradox
LP-1994-08:
Daniel Osherson, Scott Weinstein, Dick de Jongh, Eric Martin Formal Learning Theory
LP-1994-07:
Nata~a Rakic Absolute Time, Special Relativity and ML$^\nu$
LP-1994-06:
Johan van Benthem, Dag Westerståhl Directions in Generalized Quantifier Theory
LP-1994-05:
Natasha Kurtonina The Lambek Calculus: Relational Semantics and the Method of Labelling
LP-1994-04:
Kazimierz Swirydowicz A Remark on the Maximal Extensions of the Relevant Logic \em R
LP-1994-03:
Jerry Seligman An algebraic appreciation of diagrams
LP-1994-02:
Andrei Arsov Basic Arrow Logic with Relation Algebraic Operators
LP-1994-01:
Dimitar Gelev Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities
LP-1993-15:
David Ian Beaver What comes first in Dynamic Semantics
LP-1993-14:
Mati Pentus Lambek Calculus is L-complete
LP-1993-13:
Natasha Alechina Binary Quantifiers and Relational Semantics
LP-1993-12:
Jaap van der Does On Complex Plural Noun Phrases
LP-1993-11:
Friederike Moltmann Resumptive Quantifiers in Exception Sentences
LP-1993-10:
Makoto Kanazawa Weak vs. Strong Readings of Donkey Sentences and Monotonicity Inference in a Dynamic Setting
LP-1993-09:
Makoto Kanazawa Completeness and Decidability of the Mixed Style of Inference with Composition
LP-1993-08:
Zisheng Huang, Peter van Emde Boas Information Acquisition from Multi-Agent resources; abstract
LP-1993-07:
Wojciech Buszkowski On the Equivalence of Lambek Categorial Grammars and Basic Categorial Grammars
LP-1993-06:
Paul Dekker Updates in Dynamic Semantics
LP-1993-05:
Jaap van der Does Sums and Quantifiers
LP-1993-04:
Jacques van Leeuwen Identity, Quarrelling with an Unproblematic Notion
LP-1993-03:
Nikolai Pankrat'ev Completeness of the Lambek Calculus with respect to Relativized Relational Semantics
LP-1993-02:
Makoto Kanazawa Dynamic Generalized Quantifiers and Monotonicity
LP-1993-01:
Martijn Spaan Parallel Quantification
LP-1992-14:
Jeroen Groenendijk, Martin Stokhof Interrogatives and Adverbs of Quantification
LP-1992-13:
Dag Westerstæhl Iterated Quantifiers
LP-1992-12:
Heinrich Wansing Sequent Caluli for Normal Modal Propositional Logics
LP-1992-11:
Johan van Benthem A Note on Dynamic Arrow Logic
LP-1992-10:
Maarten de Rijke Meeting Some Neighbours (a dynamic modal logic meets theories of change and knowledge representation)
LP-1992-09:
Johan van Benthem Quantifiers in the world of Types
LP-1992-08:
Maarten de Rijke A System of Dynamic Modal Logic
LP-1992-07:
Jeroen Groenendijk, Martin Stokhof A Note on Interrogatives and Adverbs of Quantification
LP-1992-06:
Patrick Blackburn, Edith Spaan A Modal Perspective on the Computational Complexity of Attribute Value Grammar
LP-1992-05:
David I. Beaver The Kinematics of Presupposition
LP-1992-04:
Paul Dekker An Update Semantics for Dynamic Predicate Logic
LP-1992-03:
Szabolcs Mikulás The Completeness of the Lambek Calculus with respect to Relational Semantics
LP-1992-02:
Patrick Blackburn Modal Logic and Attribute Value Structures
LP-1992-01:
Víctor Sánchez Valencia Lambek Grammar: an Information-based Categorial Grammar
LP-1991-10:
Johan van Benthem Logic and the Flow of Information
LP-1991-09:
Arthur Nieuwendijk Semantics and Comparative Logic
LP-1991-08:
Víctor Sánchez Valencia Categorial Grammar and Natural Reasoning
LP-1991-07:
Henk Verkuyl, Jaap van der Does The Semantics of Plural Noun Phrases
LP-1991-06:
Zhisheng Huang, Peter van Emde Boas Belief Dependence, Revision and Persistence
LP-1991-05:
Zhisheng Huang, Peter van Emde Boas The Schoenmakers Paradox: Its Solution in a Belief Dependence Framework
LP-1991-04:
Makoto Kanazawa The Lambek Calculus enriched with Additional Connectives
LP-1991-03:
Willem Groeneveld Dynamic Semantics and Circular Propositions (superseded by X-1992-03)
LP-1991-02:
Frank Veltman Defaults in Update Semantics
LP-1991-01:
Wiebe van der Hoek, Maarten de Rijke Generalized Quantifiers and Modal Logic
LP-1990-17:
Paul Dekker Existential Disclosure, Implicit Arguments in Dynamic Semantics (superseded by X-1993-01)
LP-1990-16:
Zhisheng Huang, Karen Kwast Awareness, Negation and Logical Omniscience
LP-1990-15:
Maarten de Rijke The Modal Logic of Inequality
LP-1990-14:
Jeroen Groenendijk, Martin Stokhof Two Theories of Dynamic Semantics
LP-1990-13:
Zhisheng Huang Logics for Belief Dependence
LP-1990-12:
Serge Lapierre A Functional Partial Semantics for Intensional Logic
LP-1990-11:
Johan van Benthem General Dynamics
LP-1990-10:
Theo M.V. Janssen Models for Discourse Markers
LP-1990-09:
Paul Dekker The Scope of Negation in Discourse, towards a Flexible Dynamic Montague grammar
LP-1990-08:
Herman Hendriks Flexible Montague Grammar
LP-1990-07:
Gennaro Chierchia Anaphora and Dynamic Logic
LP-1990-06:
Gennaro Chierchia The Variablity of Impersonal Subjects
LP-1990-05:
Patrick Blackburn Nominal Tense Logic
LP-1990-04:
Aarne Ranta Intuitionistic Categorial Grammar
LP-1990-03:
Renate Bartsch Concept Formation and Concept Composition
LP-1990-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar
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
LP-1989-08:
Victor Sánchez Valencia Peirce's Propositional Logic: From Algebra to Graphs
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
LP-1989-04:
Johan van Benthem Language in Action
LP-1989-03:
Yde Venema Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals
LP-1989-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse
LP-1989-01:
Johan van Benthem The Fine-Structure of Categorial Semantics
LP-1988-10:
Anneke Kleppe A Blissymbolics Translation Program
LP-1988-09:
Theo M.V. Janssen A mathematical model for the CAT framework of Eurotra
LP-1988-08:
Jeroen Groenendijk, Martin Stokhof Context and Information in Dynamic Semantics
LP-1988-07:
Renate Bartsch Tenses, Aspecs and their Scopes in Discourse
LP-1988-06:
Johan van Benthem Semantic Parallels in Natural Language and Computation
LP-1988-05:
Johan van Benthem Logical Constants across Varying Types
LP-1988-04:
Reinhard Muskens Going Partial in Montague Grammar
LP-1988-03:
Year Report 1987
LP-1988-02:
Yde Venema Experssive and Completeness
LP-1988-01:
Michiel van Lambalgen Algorithmic Information Theory