Abstract is missing.
- Monitoring First-order Temporal PropertiesFelix Klaedtke. 6
- QMaxSAT version 0.3 & 0.4Xuanye An, Miyuki Koshimura, Hiroshi Fujita 0002, Ryuzo Hasegawa. 7-15
- Generating Schemata of Resolution ProofsVincent Aravantinos, Nicolas Peltier. 16-30
- Unification in a Theory of Blind SignaturesSerdar Erbatur, Christopher Lynch, Paliath Narendran. 31-44
- Incremental Variable SplittingChristian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen. 45-46
- Implementing and Evaluating Theorem Provers for First-Order Modal LogicsThomas Raths, Jens Otten. 47-63
- Modular Termination and Combinability for Superposition Modulo Counter ArithmeticChristophe Ringeissen, Valerio Senni. 64-65
- Nested Sequents and Prefixed TableausMelvin Fitting. 69
- Constructive Realization in Justification Logics via Nested SequentsRemo Goetschi. 70
- Definite and Indefinite DescriptionsNorbert Gratzl. 71
- A Tentative Atomic Calculus for Natural DeductionTom Gundersen, Michel Parigot. 72
- A Symmetric Natural DeductionMichel Parigot. 73
- Sequent Calculus for JustificationsYury Savateev. 74
- Some Remarks on Nested Sequent Systems for Modal LogicsLutz Straßburger. 75
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense LogicsAlwen Tiu. 76
- Tableaux(-like) Methods for the Satisfiability Problems of Temporal LogicsMartin Lange. 78
- Introduction to Proof NetsLutz Straßburger. 79
- Dialogue Games for Classical LogicJesse Alama, Aleks Knoks, Sara L. Uckelman. 82-86
- A Dynamic Programming Algorithm for Prime ImplicatesAndrew Matusiewicz. 87-91