129 - 150 - | When Sleeping Beauty First Awakes ATKINSON, David, PEIJNENBURG, Jeanne | abstract details ![]() |
151 - 166 - | On Distinguishing Proof-Theoretic Consequence from Derivability FRANCEZ, Nissim | abstract details ![]() |
167 - 177 - | Partial Type-Shifting Automorphisms ROUVELAS, Panagiotis | abstract details ![]() |
179 - 190 - | A Logic for Weak Essence and Strong Accident PAN, Tianqun, YANG, Chungui | abstract details ![]() |
191 - 202 - | Validity in a Dialetheist Framework PIALOS, Federico, TAJER, Diego | abstract details ![]() |