View publication by year:
- CT-1998-01:
- Hans de Nivelle Resolution Decides the Guarded Fragment
- CT-1998-02:
- Renata Wassermann On Structured Belief Bases - Preliminary Report
- CT-1998-03:
- Johan van Benthem Temporal Patterns and Modal Structure
- CT-1998-04:
- Ghica van Emde Boas-Lubsen, Peter van Emde Boas Compiling Horn-Clause Rules in IBM's Business System 12 - an Early Experiment in Declarativeness
- CT-1998-05:
- Carlos Areces, Maarten de Rijke Expressiveness Revisited
- CT-1998-06:
- Jan van Eijck Programming with Dynamic Predicate Logic
- CT-1998-07:
- Frans Voorbraak Optimising and Satisficing under Partial Ignorance
- LP-1998-01:
- Hans Rott, Maurice Pagnucco Severe Withdrawal (and Recovery)
- LP-1998-02:
- Jaap van der Does, Helen de Hoop Type-shifting and Scrambled Definites
- LP-1998-03:
- Renate Bartsch The Role of Consciousness and Intentionality in Perception, Semantics, Representations and Rules
- LP-1998-04:
- Renata Wassermann Resource Bounded Belief Revision
- LP-1998-05:
- Johan van Benthem Linguistic Grammar as Dynamic Logic
- LP-1998-06:
-
Renate Bartsch
The Formal Relationship between Dynamic Conceptual Semantics and Connectionist Neural Network Modelling
1.Full Text.
- LP-1998-07:
- Jan van Eijck Axiomatising Dynamic Logics for Anaphora
- LP-1998-08:
- Jan van Eijck Incremental Dynamics
- LP-1998-09:
- Carlos Areces, Verónica Becher Iterable AGM Functions
- LP-1998-10:
- Christof Monz, Maarten de Rijke A Tableaux Calculus for Ambiguous Quantification
- LP-1998-11:
- Christof Monz, Maarten de Rijke A Resolution Calculus for Dynamic Semantics
- LP-1998-12:
-
Dick de Jongh, Paul van Ulsen
Beth's Nonclassical Valuations
1.Full Text.
- LP-1998-13:
- Hans Rott "Just Because": Taking Belief Bases Seriously
- LP-1998-14:
- Hans Rott Words in Contexts: Fregean Elucidations
- LP-1998-15:
- Paul Dekker Speaker's Reference, Descriptions and Information Structure
- LP-1998-16:
- Yde Venema Temporal Logic
- LP-1998-17:
- Kazushige Terui Anaphoric Linking at Run Time: A Type-Logical Account of Discourse Representation
- ML-1998-01:
- A.S. Troelstra Marginalia on Sequent Calculi
- ML-1998-02:
- A.S. Troelstra Concepts and Axioms
- ML-1998-03:
- Hans de Nivelle Decoding the $E^+$-Class by an A Posteriori, Liftable Order
- ML-1998-04:
- Yde Venema Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes
- ML-1998-05:
- Steven Givant, Yde Venema The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators
- ML-1998-06:
- Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis
- ML-1998-07:
- Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic
- ML-1998-08:
- Johan van Benthem Dynamic Odds & Ends
- ML-1998-09:
- Rosalie Iemhoff A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic
- ML-1998-10:
- Carlos Areces, Verónica Becher, Sebastián Ferro Characterization Results for d-Horn Formulas
- ML-1998-11:
- Carlos Areces, Dick de Jongh, Eva Hoogland The Interpolation Theorem for IL and ILP
- ML-1998-12:
- Johan van Benthem Modal Logic in Two Gestalts
- ML-1998-13:
- Yde Venema Canonical Pseudo-Correspondence
- ML-1998-14:
- Yde Venema, Vera Stebletsova Undecidable theories of Lyndon algebras
- MoL-1998-01:
- Rosella Gennari Temporal Reasoning and Constraint Programming
- MoL-1998-02:
- Paulo E. Santos Formalising the Common Sense of a Mobile Robot
- MoL-1998-03:
- Eyal Hurvitz Towards a Uniform Strategy of Plural Quantification? Iterative Cumulativity and the Witness Condition
- X-1998-01:
- Ghica van Emde Boas-Lubsen Feature Analysis of Business System 12
- X-1998-02:
- Paul Harrenstein From a Modal Point of View: a Logical Investigation into Modalities De Dicto and De Re
- X-1998-03:
- Peter van Emde Boas Formalizing UML; Mission Impossible?