Studia Logica, Volume 73

Volume 73, Number 1, February 2003

Silvio Ghilardi, Daniele Mundici: Foreword. 3
Mario Ornaghi: Preface. In Memoriam Pierangelo Miglioli (1946-1999). 5-19
Mauro Ferrari, Camillo Fiorentini: A Proof-theoretical Analysis of Semiconstructive Intermediate Theories. 21-49
Matt Fairtlough, Michael Mendler: Intensional Completeness in an Extension of Gödel/Dummett Logic. 51-80
Nicola Olivetti: Tableaux for Lukasiewicz Infinite-valued Logic. 81-111
Nobu-Yuki Suzuki: Halldén-Completeness in Super-Intuitionistic Predicate Logics. 113-130
Uwe Egly, Hans Tompits: On Different Proof-Search Strategies for Orthologic. 131-152
Jan von Plato: Skolem's Discovery of Gödel-Dummett Logic. 153-157

Erik J. Olsson: Guest Editor's Introduction. 165-166
John Cantwell: Eligible Contraction. 167-182
Eduardo L. Fermé, Karina Saez, Pablo Sanz: Multiple Kernel Contraction. 183-195
André Fuhrmann: Some Remarks on Ultrafilter and Normality Logics. 197-207
Isaac Levi: Counterexamples to Recovery and the Filtering Condition. 209-218
Erik J. Olsson: Belief Revision, Rational Choice and the Unity of Reason. 219-240
Wlodek Rabinowicz: Remarks on the Absentminded Driver. 241-256
Hans Rott: Basic Entrenchment. 257-280
Tor Sandqvist: Circularities in the Analysis of Counterfactuals. 281-298
Renata Wassermann: Generalized Change and the Meaning of Rationality Postulates. 299-319

Ryszard Wójcicki: A Logic is Referential iff it is Selfextensional. 323-335
George Weaver: The First-Order Theories of Dedekind Algebras. 337-365
Nick Bezhanishvili, Maarten Marx: All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. 367-382
Takahiro Seki: A Sahlqvist Theorem for Relevant Modal Logics. 383-411
Athanassios Tzouvaras: An Axiomatization of 'Very' within systiems of Set Theory. 413-430
Barbara Klunder: Amalgamation in Varieties of Pseudo-interior Algebras. 431-443
Greg Restall: Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy. 445-448