Logique et Analyse
Volume 238
2017


129 - 150 - 
When Sleeping Beauty First Awakes
ATKINSON, David, PEIJNENBURG, Jeanne

abstract details download (open access)

151 - 166 - 
On Distinguishing Proof-Theoretic Consequence from Derivability
FRANCEZ, Nissim

abstract details download (open access)

167 - 177 - 
Partial Type-Shifting Automorphisms
ROUVELAS, Panagiotis

abstract details download (open access)

179 - 190 - 
A Logic for Weak Essence and Strong Accident
PAN, Tianqun, YANG, Chungui

abstract details download (open access)

191 - 202 - 
Validity in a Dialetheist Framework
PIALOS, Federico, TAJER, Diego

abstract details download (open access)