Bulletin of the Section of Logic 30/4 (2001)details

Table of contents

  • 1. A.N. RUTSKIY, Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Rules181

  • 2. Zachary ERNST, Branden FITELSON, Kenneth HARRIS and Larry WOS, A Concise Axiomatization of RM->191

  • 3. Mariusz URBANSKI, Remarks on Synthetic Tableaux for Classical Propositional Calculus195

  • 4. Joanna GRYGIEL, Sum-representations of Finite Lattices205

  • 5. Vladimir V.RYBAKOV, A View of Logical Omniscience Problem213