[DL] JANCL special issue on PDL

[Prof. Franz Baader]

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Special issue of the
Journal of Applied Non-Classical Logics
devoted to PDL

2nd CALL FOR PAPERS (please distribute)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

The Journal of Applied Non-Classical Logics (JANCL) is an
international tribune. It aims at promoting the development
of non-classical logics in computer science.

Propositional dynamic logic (PDL) is one of the most
prominent applied non-classical logics. There are by now a
number of books and survey papers treating PDL and a great
deal is known concerning its complexity and its proof
theory.

The editors of the JANCL intend to publish a special issue
devoted to PDL and related topics such as first-order
dynamic logic, algorithmic logic, mu-calculus, process
logic, logics of knowledge/belief and actions, etc.
Applications are also welcome if they illustrate the
usefulness of dynamic concepts in logic.

Authors are invited to submit a full paper by email to
Philippe Balbiani (balbiani at irit.fr) using ``Special issue
of the JANCL'' as the subject line. The cover page should
include title, names of authors and the coordinates of the
corresponding author. To be considered, submissions must be
received no later than April 2004.

Important dates:

- April 30th 2004: electronic submission deadline
- August 2004: notification of acceptance
- October 2004: camera-ready papers due
- December 2004: publication of the special issue

The authors should use the Latex standard article-style or
the Latex style of the JANCL that can be obtained at the
following address:

    http://www.irit.fr/JANCL/home_fichiers/submission_process.html

Please ask Dominique Longin (longin at irit.fr), the journal
administrator, for details.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%