A Sequent Calculus for a Negative Free Logic Norbert Gratzl OriginalPaper 19 November 2010 Pages: 331 - 348
On the Proof-Theory of two Formalisations of Modal First-Order Logic Yehuda SchwartzGeorge Tourlakis OriginalPaper 14 November 2010 Pages: 349 - 373
Theories of Truth without Standard Models and Yablo’s Sequences Eduardo Alejandro Barrio OriginalPaper 14 November 2010 Pages: 375 - 391
Completeness of a Branching-Time Logic with Possible Choices Roberto CiuniAlberto Zanardo OriginalPaper 14 November 2010 Pages: 393 - 420
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean Jie FangLei-Bo Wang OriginalPaper 14 November 2010 Pages: 421 - 431