1. Sequent Calculi for Choice Logics

   • Michael Bernreiter
   • Anela Lolic
   • Stefan Woltran

   OriginalPaper Open access 03 April 2024 Article: 8

   

2. Schematic Program Proofs with Abstract Execution

   • Dominic Steinhöfel
   • Reiner Hähnle

   OriginalPaper Open access 26 March 2024 Article: 7

   

3. SAT Meets Tableaux for Linear Temporal Logic Satisfiability

   • Luca Geatti
   • Nicola Gigante
   • Gabriele Venturato

   OriginalPaper Open access 15 March 2024 Article: 6