|
Journals in DBLP
Studia Logica 1999, volume: 63, number: 3
- Paolo Gentilini
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:3, pp:301-310 [Journal]
- Adrian Miroiu
Actuality and World-Indexed Sentences. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:3, pp:311-330 [Journal]
- Eduardo L. Fermé, Sven Ove Hansson
Selective Revision. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:3, pp:331-342 [Journal]
- Wim Ruitenburg
Basic Logic, K4, and Persistence. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:3, pp:343-352 [Journal]
- Silvio Ghilardi, Pierangelo Miglioli
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:3, pp:353-385 [Journal]
- Nobu-Yuki Suzuki
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:3, pp:387-416 [Journal]
|