1. Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction

   • M. Abraham
   • Dov M. Gabbay
   • U. Schild

   OriginalPaper 07 August 2009 Pages: 281 - 364

2. Voting by Eliminating Quantifiers

   • Dov M. Gabbay
   • Andrzej Szałas

   OriginalPaper 29 July 2009 Pages: 365 - 379

3. Independence — Revision and Defaults

   • Dov M. Gabbay
   • Karl Schlechta

   OriginalPaper 30 July 2009 Pages: 381 - 394

4. Fibred Security Language

   • Guido Boella
   • Dov M. Gabbay
   • Leendert van der Torre

   OriginalPaper 30 July 2009 Pages: 395 - 436

5. A Meta-model of Access Control in a Fibred Security Language

   • Steve Barker
   • Guido Boella
   • Valerio Genovese

   OriginalPaper 30 July 2009 Pages: 437 - 477