Universiteit van Amsterdam

ILLC Publications, All Series, 1997

CT-1997-01:
Carl H. Smith Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications
CT-1997-02:
Peter van Emde Boas Resistance is Futile; Formal Linguistic Observations on Design Patterns
CT-1997-03:
Harry Buhrman, Dieter van Melkebeek Complete Sets under Non-Adaptive Reductions are Scarce
CT-1997-04:
Andrei Muchnik, Andrei Romashchenko, Alexander Shen, Nikolai Vereshagin Upper Semi-Lattice of Binary Strings with the Relation ``$x$ is simple conditional to $y$''
LP-1997-01:
Johan van Benthem Dynamic Bits and Pieces
LP-1997-02:
Paul Dekker On Denoting Descriptions
LP-1997-03:
Paul Dekker On First Order Information Exchange
LP-1997-04:
Jelle Gerbrandy Dynamic Epistemic Logic
LP-1997-05:
Jelle Gerbrandy Bisimulation and Bounded Bisimulation
LP-1997-06:
Jan van Eijck Typed Logic With States
LP-1997-07:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision (expansion of LP-1996-14)
LP-1997-08:
Johan van Benthem Wider Still and Wider... Resetting the Bounds of Logic
LP-1997-09:
Frans Voorbraak A Nonmonotonic Observation Logic
LP-1997-10:
Jan van Eijck Dynamic Reasoning Without Variables
ML-1997-01:
Dick de Jongh, Giorgi Japaridze The Logic of Provability
ML-1997-02:
Maarten Marx Complexity of Modal Logics of Relations
ML-1997-03:
Giovanna D'Agostino The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic
ML-1997-04:
Ian Hodkinson, Szabolcs Mikulás Non-finitely axiomatizable, union-free reducts of algebras of relations
ML-1997-05:
Johan van Benthem The Range of Modal Logic: an Essay in Memory of George Gargov
ML-1997-06:
Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic
ML-1997-07:
Sebastiaan A. Terwijn, Domenico Zambella Algorithmic Randomness and Lowness
ML-1997-08:
Antonín Kucera, Sebastiaan A. Terwijn Lowness for the Class of Random Sets
MoL-1997-01:
Dimitris Dimitriadis Identity and Identification
MoL-1997-02:
Brian Semmes The Raisonnier-Shelah Construction of a Non-Measurable Set
MoL-1997-03:
Marc Pauly Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming
X-1997-01:
Paul Dekker, David Beaver Report on ECDS: An Interactive Course on the Internet
X-1997-02:
Dimiter Ivanov Vakarelov Applied Modal Logic: Modal Logics in Information Science