Decomposition Proof Systems for Gödel-Dummett Logics Arnon AvronBeata Konikowska OriginalPaper Pages: 197 - 219
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics Diderik BatensJoke Meheus OriginalPaper Pages: 221 - 248
On Different Intuitionistic Calculi and Embeddings from Int to S4 Uwe Egly OriginalPaper Pages: 249 - 277
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions Raymond D. Gumb OriginalPaper Pages: 279 - 292
Connection-Driven Inductive Theorem Proving Christoph KreitzBrigitte Pientka OriginalPaper Pages: 293 - 326