View publication by year:
- 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
1.Full Text.
- 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
1.Full Text.
- 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
1.Full Text.