Campus Event Calendar
Event Entry
What and Who
On the guarded fragment
Margus Veanes
Max-Planck-Institut für Informatik
MPI-Seminar
AG 1, AG 2
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 20 January 99
11:15
-- Not specified --
46.1
024
Saarbrücken
Abstract
The guarded fragment (GF) of first-order logic is an extension of the modal fragment, and was introduced in order to capture some nice properties of modal logics. In this talk we address the following points.
1) What is GF, and why is it interesting?
2) Recent developments, regarding restrictions/extensions of GF.
3) Possible applications of these results.
4) Open problems.
Contact
Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only