Logic at Botik '89

Observational logic and process semantics (abstract).- A logic for data description.- Building theories in Nuprl.- A remark on bisimulation between probabilistic processes.- Inevitability in branching time.- Concurrent processes with synchronization: Net and algebraic approach.- A synthesis of two approaches for verifying finite state concurrent systems.- On a class of unoids.- Space considerations in Prolog.- Nearly linear time.- Experiments with implementations of two theoretical constructions.- A dynamic logic for program verification.- Discerning causality in interleaving behavior.- The use of static constructs in a model process logic.- What is the logic of computational tasks?.- Algol-like languages with higher-order procedures and their expressive power.- Fixpoints revisited.- A mathematical modeling of pure, recursive algorithms.- A category of many-sorted algebraic theories which is equivalent to the category of categories with finite products.- Gentzen style systems forK45 and K45D.- Modal logics for knowledge representation systems.- Safe executions of recognizable trace languages by asynchronous automata.