On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II Stéphane DemriDov Gabbay OriginalPaper Pages: 349 - 384
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ Luca Viganò OriginalPaper Pages: 385 - 407
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio' J. M. MéndezF. Salto OriginalPaper Pages: 409 - 418