Studia Logica

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof
pp. 301-310(10)
Author: Gentilini, Paolo

Actuality and World-Indexed Sentences
pp. 311-330(20)
Author: Miroiu, Adrian

Selective Revision
pp. 331-342(12)
Authors: Fermé, Eduardo; Hansson, Sven

Basic Logic, K4, and Persistence
pp. 343-352(10)
Author: Ruitenburg, Wim

On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics
pp. 353-385(33)
Authors: Ghilardi, Silvio; Miglioli, Pierangelo

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics
pp. 387-416(30)
Author: Suzuki, Nobu-Yuki

Book Reviews
pp. 417-448(32)