![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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
Volume 73, Number 2, 2003
- 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
Volume 73, Number 3, April 2003
- 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.