These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << December 2004 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
|||
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
26
|
27
|
28
|
29
|
30
|
31
|
|
JLLIC Special Issue on Guarded Logics and Decidable Fragments
It has been almost ten years since Andreka, van Benthem and Nemeti proved the decidability of the guarded fragment of first order logic. Given how expressive guarded quantification is, this result gave logicians a powerful tool for proving the decidability of many formalisms arising in computer science applications, and has generated extensive research into guarded quantification in logics other than first order and into various generalisations of guarded quantification. A wealth of new proof techniques has been developed as a result of this research. This special issue, based on a workshop on guarded fragments held at ESSLLI 2004 in Nancy, aims to reflect new developments in the search for decidable fragments and their applications.
Deadline for submissions is December 1st, 2004. For more information, see here or contact nza at cs.nott.ac.uk.