Items where Year is 1997

DS-1997-04: Aliseda-LLera, Atocha (1997) Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. Doctoral thesis, University of Amsterdam.

CT-1997-03: Buhrman, Harry and van Melkebeek, Dieter (1997) Complete Sets under Non-Adaptive Reductions are Scarce. [Report]

DS-1997-01: Cramer, Ronald (1997) Modular Design of Secure yet Practical Cryptographic Protocols. Doctoral thesis, University of Amsterdam.

ML-1997-03: D'Agostino, Giovanna (1997) The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic. [Report]

LP-1997-02: Dekker, Paul (1997) On Denoting Descriptions. [Report]

LP-1997-03: Dekker, Paul (1997) On First Order Information Exchange. [Report]

X-1997-01: Dekker, Paul and Beaver, David (1997) Report on ECDS: An Interactive Course on the Internet. [Report]

MoL-1997-01: Dimitriadis, Dimitris (1997) Identity and Identification. [Report]

LP-1997-05: Gerbrandy, Jelle (1997) Bisimulation and Bounded Bisimulation. [Report]

LP-1997-04: Gerbrandy, Jelle (1997) Dynamic Epistemic Logic. [Report]

ML-1997-04: Hodkinson, Ian and Mikulás, Szabolcs (1997) Non-finitely axiomatizable, union-free reducts of algebras of relations. [Report]

ML-1997-08: Kucera, Antonín and Terwijn, Sebastiaan A. (1997) Lowness for the Class of Random Sets. [Report]

ML-1997-02: Marx, Maarten (1997) Complexity of Modal Logics of Relations. [Report]

CT-1997-04: Muchnik, Andrei and Romashchenko, Andrei and Shen, Alexander and Vereshagin, Nikolai (1997) Upper Semi-Lattice of Binary Strings with the Relation ``$x$ is simple conditional to $y$''. [Report]

DS-1997-03: Nieuwendijk, Arthur (1997) On Logic. Inquiries into the Justification of Deduction. Doctoral thesis, University of Amsterdam.

MoL-1997-03: Pauly, Marc (1997) Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming. [Report]

DS-1997-02: Rakic, Natasa (1997) Common Sense Time and Special Relativity. Doctoral thesis, University of Amsterdam.

MoL-1997-02: Semmes, Brian (1997) The Raisonnier-Shelah Construction of a Non-Measurable Set. [Report]

CT-1997-01: Smith, Carl H. (1997) Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications. [Report]

DS-1997-05: Stein, Harry (1997) The Fiber and the Fabric: An Inquiry into Wittgenstein's Views on Rule-Following and Linguistic Normativity. Doctoral thesis, University of Amsterdam.

ML-1997-07: Terwijn, Sebastiaan A. and Zambella, Domenico (1997) Algorithmic Randomness and Lowness. [Report]

X-1997-02: Vakarelov, Dimiter Ivanov (1997) Applied Modal Logic: Modal Logics in Information Science. [Report]

LP-1997-09: Voorbraak, Frans (1997) A Nonmonotonic Observation Logic. [Report]

ML-1997-01: de Jongh, Dick and Japaridze, Giorgi (1997) The Logic of Provability. [Report]

DS-1997-06: de Smet, Leonie Bosveld - (1997) On Mass and Plural Quantification. The Case of French `des'/`du'-NP's. Doctoral thesis, University of Amsterdam.

LP-1997-01: van Benthem, Johan (1997) Dynamic Bits and Pieces. [Report]

ML-1997-06: van Benthem, Johan (1997) Modality, Bisimulation and Interpolation in Infinitary Logic. [Report]

ML-1997-05: van Benthem, Johan (1997) The Range of Modal Logic: an Essay in Memory of George Gargov. [Report]

LP-1997-08: van Benthem, Johan (1997) Wider Still and Wider... Resetting the Bounds of Logic. [Report]

LP-1997-10: van Eijck, Jan (1997) Dynamic Reasoning Without Variables. [Report]

LP-1997-06: van Eijck, Jan (1997) Typed Logic With States. [Report]

CT-1997-02: van Emde Boas, Peter (1997) Resistance is Futile; Formal Linguistic Observations on Design Patterns. [Report]

LP-1997-07: van Lambalgen, Michiel and der Does, Jaap van (1997) A Logic of Vision (expansion of LP-1996-14). [Report]