-
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
-
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
-
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?
