Journal: Journal of Logic and Computation

Volume 17, Issue 2

221 -- 254Altaf Hussain. A New Modal Approach to the Logic of Intervals
255 -- 283Robin Hirsch. Peirce Algebras and Boolean Modules
285 -- 298Benedikt Löwe, Brian Semmes. The Extent of Constructive Game Labellings
299 -- 310Wojciech Zielonka. On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
311 -- 331Enrico Marchioni, Franco Montagna. Complexity and Definability Issues in L Pi 1/2
333 -- 409Ben C. Moszkowski. Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals