Bulletin of the Section of Logic 31/4 (2002)details

Table of contents

  • 1. Michael SOLTYS, Extended Frege and Gaussian Elimination189

  • 2. Vladimir V.RYBAKOV, Unification in Common Knowledge Logics207

  • 3. George WEAVER and Edward THOMPSON, Hermes Algebras217

  • 4. Christian J. RENTERIA and Edward Hermann HAEUSLER, A Natural Deduction System for CTL231

  • 5. S.P. ODINTSOV, On the embedding of Nelson's logics241