Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Studia Logica, Volume 63

> Home > Journals > Studia Logica

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 63, Number 1, July 1999

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Kohlenbach99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Kohlenbach99
Ulrich Kohlenbach:
A Note on Goodman's Theorem. 1-5
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/LuchiM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/LuchiM99
Duccio Luchi, Franco Montagna:
An Operational Logic of Proofs with Positive and Negative Information. 7-25
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Gentilini99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Gentilini99
Paolo Gentilini:
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. 27-48
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Cantwell99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Cantwell99
John Cantwell:
Some Logics of Iterated Belief Change. 49-84
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Degen99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Degen99
J. W. Degen:
Complete Infinitary Type Logics. 85-119
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/sLogica/McCawley99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/McCawley99
James D. McCawley:
Everything That Linguists Have Always Wanted to Know About Logic. Stud Logica 63(1): 121-150 (1999)

Volume 63, Number 2, 1999

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Yashin99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Yashin99
Alexander Yashin:
New Intuitionistic Logical Constants and Novikov Completeness. 151-180
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/KashimaK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/KashimaK99
Ryo Kashima, Norihiro Kamide:
Substructural Implicational Logics Including the Relevant Logic E. 181-212
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/AltenR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/AltenR99
Clint J. van Alten, James G. Raftery:
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. 213-222
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ElguetaJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ElguetaJ99
Raimon Elgueta, Ramon Jansana:
Definability of Leibniz Equality. 223-243
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Gentilini99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Gentilini99a
Paolo Gentilini:
Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. 245-268

Volume 63, Number 3, 1999

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Gentilini99b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Gentilini99b
Paolo Gentilini:
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. 301-310
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Miroiu99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Miroiu99
Adrian Miroiu:
Actuality and World-Indexed Sentences. 311-330
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/FermeH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/FermeH99
Eduardo L. Fermé, Sven Ove Hansson:
Selective Revision. 331-342
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Ruitenburg99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Ruitenburg99
Wim Ruitenburg:
Basic Logic, K4, and Persistence. 343-352
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GhilardiM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GhilardiM99
Silvio Ghilardi, Pierangelo Miglioli:
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. 353-385
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Suzuki99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Suzuki99
Nobu-Yuki Suzuki:
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. 387-416

a service of

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.