Completeness in Hybrid Type Theory Carlos ArecesPatrick BlackburnMaría Manzano OriginalPaper 10 January 2013 Pages: 209 - 238
Bilateralism in Proof-Theoretic Semantics Nissim Francez OriginalPaper 10 January 2013 Pages: 239 - 259
The Simple Consistency of Naive Set Theory using Metavaluations Ross T. Brady OriginalPaper 07 February 2013 Pages: 261 - 281
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3 Gemma RoblesFrancisco SaltoJosé M. Méndez OriginalPaper 12 January 2013 Pages: 303 - 332
The Fundamental Theorem of World Theory Christopher MenzelEdward N. Zalta OriginalPaper 30 January 2013 Pages: 333 - 363
CIFOL: Case-Intensional First Order Logic Nuel BelnapThomas Müller OriginalPaper Open access 20 January 2013 Pages: 393 - 437
Logical Consequence and the Paradoxes Edwin MaresFrancesco Paoli OriginalPaper 16 March 2013 Pages: 439 - 469
A DDL Approach to Pluralistic Ignorance and Collective Belief Carlo ProiettiErik J. Olsson OriginalPaper 21 March 2013 Pages: 499 - 515
Remarks on Compositionality and Weak Axiomatic Theories of Truth Günther Eder OriginalPaper 16 April 2013 Pages: 541 - 547
Rationally Functional Dependence Pavel NaumovBrittany Nicholls OriginalPaper 25 April 2013 Pages: 603 - 616