Workshop on Guarded Logics: Proof Techniques and Applications

Preliminary programme

• 9 August
  • Introduction
  • Ulrike Sattler, The Complexity of Finite Model Reasoning in Description Logics
  • Ian Pratt, Counting quantifiers and stellar fragment
  • 10 August
    • Hans de Nivelle, Automated theorem proving and GF
    • Lilia Georgieva, Optimizing minimal Herbrand model generation procedures for guarded formulae, description and modal logics
  • 11 August
    • Dirk Leinders (joint work with Jerzy Tyszkiewicz and Jan Van den Bussche), The semijoin algebra and the guarded fragment
    • Michael Minock, Managing database incompleteness with the guarded fragment
  • 12 August
    • Dietmar Berwanger (joint work with Achim Blumensath), Automata for guarded fixed point logics
    • Antje Nowack, A guarded fragment for abstract state machines
  • 13 August
    • Ian Hodkinson, Guarded temporal logic
    • Johan van Benthem, TBA