Completeness of Certain Bimodal Logics for Subset Spaces M. Angela WeissRohit Parikh OriginalPaper Pages: 1 - 30
On Reduction Systems Equivalent to The Lambek Calculus with the Empty String Wojciech Zielonka OriginalPaper Pages: 31 - 46
A Map of Common Knowledge Logics Mamoru KanekoTakashi NagashimaYoshihito Tanaka OriginalPaper Pages: 57 - 86
First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas Horacio Arló Costa OriginalPaper Pages: 87 - 118
Naïve Comprehension and Contracting Implications Susan RogersonSam Butchart OriginalPaper Pages: 119 - 132