Studia Logica, Volume 59

Volume 59, Number 1, July 1997

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

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

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