[DL] Journal of Logic, Language and Information, Special Issue on Guarded Logics

[Natasha Alechina]

JOURNAL OF LOGIC, LANGUAGE and INFORMATION

SPECIAL ISSUE ON GUARDED LOGICS and DECIDABLE FRAGMENTS                   

CALL FOR PAPERS                           
      

TOPIC

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.


Topics of interest for contributions to the journal issue include, but
are not limited to: generalisations of guarded quantification; new
decidable fragments; complexity of guarded logics; applications of
guarded logics.

SUBMISSIONS

Submissions must be original work, which have not been previously
published in a full form and is not being under review for publication
elsewhere. Please send .ps or .pdf submissions in Kluwer journal style
(available at http://www.wkap.nl/authors/jrnlstylefiles/) to
nza at cs.nott.ac.uk.

IMPORTANT DATES

  Submission         : December 1, 2004
  Notification       : January 31, 2005
  Final version      : March 15, 2005


GUEST EDITOR 

  Natasha Alechina (University of Nottingham, UK)  nza at cs.nott.ac.uk

This message has been scanned but we cannot guarantee that it and any
attachments are free from viruses or other damaging content: you are
advised to perform your own checks.  Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.