Studia Logica, Volume 59

Volume 59, Number 1, July 1997

Dov M. Gabbay, Fiora Pirri: Combining Logic I - Introduction. 1-4
Patrick Blackburn, Maarten de Rijke: Why Combine Logics? 5-27
John McCarthy: Modality, Si! Modal Logic, No! 29-32
Lloyd Humberstone, Timothy Williamson: Inverses for Normal Modal Operators. 33-64
Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. 65-102
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Intuitionistic Autoepistemic Logic. 103-120
Greg Restall: Combining Possibilities and Negations. 121-141

Dov M. Gabbay, Fiora Pirri: Combining Logic II - Introduction. 147-148
Marcus Kracht, Frank Wolter: Simulation and Transfer Results in Modal Logic - A Survey. 149-177
Dov M. Gabbay, Uwe Reyle: Labelled Resolution for Classical and Non-classical Logics. 179-216
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Synchronization of Logics. 217-247
Nobu-Yuki Suzuki: Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. 249-269
Konstantinos Georgatos: Knowledge on Treelike Spaces. 271-301

Mauro Ferrari: Cut-Free Tableau Calculi for some Intuitionistic Modal Logics. 303-330
Pavel Materna: Rules of Existential Quantification into "Intensional Contexts". 331-343
Michael Zakharyaschev: The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. 345-358
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze: On the Algebraizability of Annotated Logics. 359-386
Dmitrij P. Skvortsov: Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. 387-396
Edwin D. Mares, Paul McNamara: Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours. 397-415
Simona Ronchi Della Rocca, Luca Roversi: Lambda Calculus and Intuitionistic Linear Logic. 417-448