Main Page Navigation
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
