ISSN 0039-3215
Publisher: Springer
< previous issue | all issues | next issue >
Completeness of Certain Bimodal Logics for Subset Spaces pp. 1-30(30) Authors: Weiss M.A.; Parikh R.
On Reduction Systems Equivalent to The Lambek Calculus with the Empty String pp. 31-46(16) Author: Zielonka W.
Disjunctive Quantum Logic in Dynamic Perspective pp. 47-56(10) Author: Coecke B.
A Map of Common Knowledge Logics pp. 57-86(30) Authors: Kaneko M.; Nagashima T.; Suzuki N-Y.; Tanaka Y.
First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas pp. 87-118(32) Author: Costa H.A.
Naïve Comprehension and Contracting Implications pp. 119-132(14) Authors: Rogerson S.; Butchart S.
Book Reviews pp. 133-148(16)