Universiteit van Amsterdam

ILLC Publications, All Series, 1998

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?