ILLC Publications, All Series, 1998

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.


Coding for publications: Series-Year-Number, with DS = Dissertation Series; MoL = Master of Logic Thesis; PP = Prepublication Series (since 1999); X = Technical Notes; CL = Computational Linguistics (up to 1993); CT = Computation and Complexity Theory (up to 1998); LP = Logic, Philosophy and Linguistics (up to 1998); ML = Mathematical Logic and Foundations (up to 1998); ITLI = Instituut voor Taal, Logika en Informatie (up to 1987);

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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X