-
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
