On Modal μ-Calculus and Gödel-Löb Logic Luca AlberucciAlessandro Facchini OriginalPaper 20 March 2009 Pages: 145 - 169
Canonical Extensions and Relational Representations of Lattices with Negation Agostinho Almeida OriginalPaper 20 March 2009 Pages: 171 - 199
Distributive Full Lambek Calculus Has the Finite Model Property Michał Kozak OriginalPaper 04 March 2009 Pages: 201 - 216
Proof Systems Combining Classical and Paraconsistent Negations Norihiro Kamide OriginalPaper 20 March 2009 Pages: 217 - 238
Jump Liars and Jourdain’s Card via the Relativized T-scheme Ming Hsiung OriginalPaper 04 March 2009 Pages: 239 - 271
Proof Systems for Reasoning about Computation Errors Arnon AvronBeata Konikowska OriginalPaper 20 March 2009 Pages: 273 - 293