Journal: Studia Logica

Volume 59, Issue 3

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

Volume 59, Issue 1

1 -- 4Dov M. Gabbay, Fiora Pirri. Combining Logic I - Introduction
5 -- 27Patrick Blackburn, Maarten de Rijke. Why Combine Logics?
29 -- 32John McCarthy. Modality, Si! Modal Logic, No!
33 -- 64Lloyd Humberstone, Timothy Williamson. Inverses for Normal Modal Operators
65 -- 102Marcello D Agostino, Dov M. Gabbay, Alessandra Russo. Grafting Modalities onto Substructural Implication Systems
103 -- 120Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri. Intuitionistic Autoepistemic Logic
121 -- 141Greg Restall. Combining Possibilities and Negations
147 -- 148Dov M. Gabbay, Fiora Pirri. Combining Logic II - Introduction
149 -- 177Marcus Kracht, Frank Wolter. Simulation and Transfer Results in Modal Logic - A Survey
179 -- 216Dov M. Gabbay, Uwe Reyle. Labelled Resolution for Classical and Non-classical Logics
217 -- 247Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro. Synchronization of Logics
249 -- 269Nobu-Yuki Suzuki. Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics
271 -- 301Konstantinos Georgatos. Knowledge on Treelike Spaces