1. On Modal Logics of Partial Recursive Functions

   • Pavel Naumov

   OriginalPaper Pages: 295 - 309

2. Axiomatic Extensions of IMT3 Logic

   • Joan Gispert
   • Antoni Torrens

   OriginalPaper Pages: 311 - 324

3. Some Results on Modal Axiomatization and Definability for Topological Spaces

   • Guram Bezhanishvili
   • Leo Esakia
   • David Gabelaia

   OriginalPaper Pages: 325 - 355

4. Frames and MV-algebras

   • Lawrence P. Belluce
   • Antonio Di Nola

   OriginalPaper Pages: 357 - 385

5. Groups and Plane Geometry

   • Victor Pambuccian

   OriginalPaper Pages: 387 - 398

6. Admissibility of Cut in LC with Fixed Point Combinator

   • Katalin Bimbó

   OriginalPaper Pages: 399 - 423

7. Melvin Fitting, Types Tableaus and Gödel's God

   • Roderic A. Girle

   Book Reviews Pages: 425 - 427

8. Contents of Volume 81

   • Editorial Board

   BriefCommunication Pages: 429 - 430