default search action

combined dblp search
author search
venue search
publication search

ask others

Studia Logica, Volume 59

> Home > Journals > Studia Logica

Refine list

refinements active!

zoomed in on 20 of 20 records

view refined list in

export refined list as

showing all 20 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 59, Number 1, July 1997

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GabbayP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GabbayP97
Dov M. Gabbay, Fiora Pirri:
Combining Logic I - Introduction. 1-4
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BlackburnR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BlackburnR97
Patrick Blackburn, Maarten de Rijke:
Why Combine Logics? 5-27
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Mccarthy97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Mccarthy97
John McCarthy:
Modality, Si! Modal Logic, No! 29-32
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/HumberstoneW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/HumberstoneW97
Lloyd Humberstone, Timothy Williamson:
Inverses for Normal Modal Operators. 33-64
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/DAgostinoGR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/DAgostinoGR97
Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo:
Grafting Modalities onto Substructural Implication Systems. 65-102
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/AmatiAP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/AmatiAP97
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri:
Intuitionistic Autoepistemic Logic. 103-120
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Restall97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Restall97
Greg Restall:
Combining Possibilities and Negations. 121-141
no results

Volume 59, Number 2, September 1997

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GabbayP97a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GabbayP97a
Dov M. Gabbay, Fiora Pirri:
Combining Logic II - Introduction. 147-148
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/KrachtW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/KrachtW97
Marcus Kracht, Frank Wolter:
Simulation and Transfer Results in Modal Logic - A Survey. 149-177
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GabbayR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GabbayR97
Dov M. Gabbay, Uwe Reyle:
Labelled Resolution for Classical and Non-classical Logics. 179-216
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/SernadasSC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/SernadasSC97
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Synchronization of Logics. 217-247
- view
- export record
  dblp key:
  - journals/sLogica/Suzuki97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Suzuki97
Nobu-Yuki Suzuki:
Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. 249-269
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Georgatos97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Georgatos97
Konstantinos Georgatos:
Knowledge on Treelike Spaces. 271-301
no results

Volume 59, Number 3, November 1997

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Ferrari97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Ferrari97
Mauro Ferrari:
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics. 303-330
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Materna97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Materna97
Pavel Materna:
Rules of Existential Quantification into "Intensional Contexts". 331-343
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Zakharyaschev97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Zakharyaschev97
Michael Zakharyaschev:
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. 345-358
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/LewinMS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/LewinMS97
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
On the Algebraizability of Annotated Logics. 359-386
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Skvortsov97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Skvortsov97
Dmitrij P. Skvortsov:
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. 387-396
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/MaresM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/MaresM97
Edwin D. Mares, Paul McNamara:
Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours. 397-415
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/RoccaR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/RoccaR97
Simona Ronchi Della Rocca, Luca Roversi:
Lambda Calculus and Intuitionistic Linear Logic. 417-448
no results

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.