ILLC Publications, All Series, 1997

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-1997-02:
Dimiter Ivanov Vakarelov Applied Modal Logic: Modal Logics in Information Science.
1.Full Text.
X-1997-01:
Paul Dekker, David Beaver Report on ECDS: An Interactive Course on the Internet.
1.Full Text, 2.Abstract.
MoL-1997-03:
Marc Pauly Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming.
1.Full Text, 2.Abstract.
MoL-1997-02:
Brian Semmes The Raisonnier-Shelah Construction of a Non-Measurable Set.
1.Full Text, 2.Abstract.
MoL-1997-01:
Dimitris Dimitriadis Identity and Identification.
1.Full Text, 2.Abstract.
ML-1997-08:
Anton\'{i}n Ku\u{c}era, Sebastiaan A. Terwijn Lowness for the Class of Random Sets.
1.Full Text, 2.Abstract.
ML-1997-07:
Sebastiaan A. Terwijn, Domenico Zambella Algorithmic Randomness and Lowness.
1.Full Text, 2.Abstract.
ML-1997-06:
Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic.
1.Full Text, 2.Abstract.
ML-1997-05:
Johan van Benthem The Range of Modal Logic: an Essay in Memory of George Gargov.
1.Full Text, 2.Abstract.
ML-1997-04:
Ian Hodkinson, Szabolcs Mikulás Non-finitely axiomatizable, union-free reducts of algebras of relations.
1.Full Text, 2.Abstract.
ML-1997-03:
Giovanna D'Agostino The Lo\'{s}-Tarski and Lyndon Theorem for the $\mu$-logic.
1.Full Text, 2.Abstract.
ML-1997-02:
Maarten Marx Complexity of Modal Logics of Relations.
1.Full Text, 2.Abstract.
ML-1997-01:
Dick de Jongh, Giorgi Japaridze The Logic of Provability.
1.Full Text.
LP-1997-10:
Jan van Eijck Dynamic Reasoning Without Variables.
1.Full Text, 2.Abstract.
LP-1997-09:
Frans Voorbraak A Nonmonotonic Observation Logic.
1.Full Text, 2.Abstract.
LP-1997-08:
Johan van Benthem Wider Still and Wider... Resetting the Bounds of Logic.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1997-07:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision (expansion of LP-1996-14).
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1997-06:
Jan van Eijck Typed Logic With States.
1.Full Text, 2.Abstract.
LP-1997-05:
Jelle Gerbrandy Bisimulation and Bounded Bisimulation.
1.Full Text, 2.Abstract.
LP-1997-04:
Jelle Gerbrandy Dynamic Epistemic Logic.
1.Full Text.
LP-1997-03:
Paul Dekker On First Order Information Exchange.
1.Full Text, 2.Abstract.
LP-1997-02:
Paul Dekker On Denoting Descriptions.
1.Full Text, 2.Abstract.
LP-1997-01:
Johan van Benthem Dynamic Bits and Pieces.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
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$''.
1.Full Text, 2.Abstract.
CT-1997-03:
Harry Buhrman, Dieter van Melkebeek Complete Sets under Non-Adaptive Reductions are Scarce.
1.Full Text, 2.Abstract.
CT-1997-02:
Peter van Emde Boas Resistance is Futile; Formal Linguistic Observations on Design Patterns.
1.Full Text, 2.Abstract.
CT-1997-01:
Carl H. Smith, R\={u}si\c{n}\u{s} Freivalds Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications.
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