18.182 call for papers, Journal of Logic, Language, Information and Computation

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Tue, 31 Aug 2004 07:37:39 +0100

               Humanist Discussion Group, Vol. 18, No. 182.
       Centre for Computing in the Humanities, King's College London
                   www.kcl.ac.uk/humanities/cch/humanist/
                        www.princeton.edu/humanist/
                     Submit to: humanist_at_princeton.edu

         Date: Mon, 30 Aug 2004 09:29:10 +0100
         From: Natasha Alechina <nza_at_Cs.Nott.AC.UK>
         Subject: call for papers

JOURNAL OF LOGIC, LANGUAGE and INFORMATION AND COMPUTATION
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.
Received on Tue Aug 31 2004 - 02:46:55 EDT

This archive was generated by hypermail 2.2.0 : Tue Aug 31 2004 - 02:46:57 EDT