Abstract is missing.
- Specifying, Programming and Verifying with Equational LogicJoseph A. Goguen, Kai Lin. 1-38
- Formal Approaches to TeamworkJohn Grant, Sarit Kraus, Donald Perlis. 39-68
- Detecting the Logical Content: Burley s Purity of Logic Wilfrid Hodges. 69-116
- Separation - Past, Present, and FutureIan M. Hodkinson, Mark Reynolds. 117-142
- Kripke s Modal Objection to the Description Theory of ReferenceDale Jacquette. 143-168
- Infinitary NormalizationJan Willem Klop, Roel C. de Vrijer. 169-192
- Modal Logics for Metric Spaces: Open ProblemsAgi Kurucz, Frank Wolter, Michael Zakharyaschev. 193-108
- Partial Correctness Assertions Provable in Dynamic LogicDaniel Leivant. 209-224
- Abduction and Cognition in Organic and Logical AgentsLorenzo Magnani. 225-258
- Friendliness for LogiciansDavid Makinson. 259-292
- Interpolation and Joint ConsistencyLarisa Maksimova. 293-306
- Goal-Directed Methods for Fuzzy LogicsGeorge Metcalfe, Nicola Olivetti. 307-330
- StillAlice ter Meulen. 331-340
- Sequence-Dominance GrammarsWilfried Meyer-Viol, Ruth Kempson. 341-370
- A Hierarchical Analysis of Propositional Temporal Logic based on IntervalsBen C. Moszkowski. 371-440
- Nesting Patterns in Fibred Logics of ContextRolf Nossum. 441-452
- Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib LibraryHans Jürgen Ohlbach. 453-498
- A New Basic Set of Transformations between ProofsAnjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. 499-528
- Should We Send Him to Prison? Paradoxes of Aggregation and Belief MergingGabriella Pigozzi. 529-542
- Verification of Procedural ProgramsAmir Pnueli. 543-590
- Iterated Revision and Automatic Similarity GenerationOdinaldo Rodrigues. 591-614
- Inference in Temporal Next-Time LogicVladimir V. Rybakov. 615-638
- e-Learning Logic and Mathematics: What We Have and What We NeedErica Melis, Jörg H. Siekmann. 639-662
- On Neighbourhood Semantics 30 years laterValentin B. Shehtman. 663-692
- Psychological Nature of Verification of Informal Mathematical ProofsPatrick Suppes. 693-712
- Objective Bayesian NetsJon Williamson. 713-730
- Epistemic BubblesJohn Woods. 731-774