|
Courses and Workshops
|
| Title: | Guarded fragments |
| Lecturer(s): | Natasha Alechina (University of Nottingham) |
| Type: | Workshop |
| Section: | Logic and Computation |
| Week: | First | | Time: | 17.00-18.30 (Slot 4) |
| Webpage: | http://www.cs.nott.ac.uk/~nza/GF04
|
| Reader: | Download | | Room: | C2 |
Description It's been almost ten years since Andreka, van Benthem and Nemeti
proved decidability of the guarded fragment of first order logic.
Given how natural and expressive guarded quantification is, this
result gave logicians a powerful tool of proving decidability of
many formalisms arising in computer science applications, and
generated much research into extensions of the guarded fragment to
fixed point logic, transitive guards etc. A wealth of new proof
techniques developed as a result. The workshop intends to bring
this research together for the benefit of advanced logic and
computer science PhD students interested in the area, and use a
mixture of invited and contributed talks to cover both the new
proof techniques and the relevance of guarded quantification for
applications of logic in computer science.
Preliminary programme
9 August Introduction; talks by Johan van Benthem and Ulrike Sattler
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, Monodic packed fragment with equality is
decidable
Ian Pratt, Counting quantifiers and stellar fragment
Workshop programme committee:
Natasha Alechina (University of Nottingham),
Johan van Benthem (University of Amsterdam),
Erich Graedel (Aachen University),
Maarten Marx (University of Amsterdam),
Hans de Nivelle (Max Planck Institut fur Informatik, Saarbruecken),
Martin Otto (Darmstadt University of Technology),
Ulrike Sattler (University of Manchester).
|
© 2003, 2004 LORIA, Carlos Areces. |
2004-07-06
| |
