Logic List Mailing Archive

CfP: Special M4M issue of the JAL

Call for Papers for

                     "Methods for Modalities"

          A Special Issue of the Journal of Applied Logic

The workshop `Methods for Modalities' (M4M) organized every two years aims
to bring together researchers interested in developing proof tools and
decision methods for modal logic broadly conceived, including description
logic, hybrid logic, temporal logic, etc.

During 2003, M4M-3, the third instance of the workshop was organized in
Nancy, France.  We have been invited by the Journal of Applied Logic to
prepare a Special Issue containing selected publications from the
workshop, in addition to other articles that might fit within the topics
of interest of M4M.  For that reason we are now distributing this Call for


The following list is provided as an example of suitable topics for the
Special Issue. All topics should concern modal-like logics, broadly
conceived.  The list is by no means exhaustive and is given in an
arbitrary order:

* Automated theorem proving
* Decision methods
* Proof methods
* Standard and non-standard inference problems
* Model checking
* Testing
* Expressive power
* Modelling
* Applications
* Successful uses of modal-like languages in other fields
* Knowledge representation


The final version of accepted papers has to follow the standard
layout guidelines of the Journal of Applied Logic.  Instructions
for authors and the latex style files are available from


Although not mandatory, we suggest to use the corresponding style
files from that web-page also for your initial submission. The
issue aims at high quality papers with a length around 20 to max. 30
pages. Please send your submission in postscript or pdf no later
than October 31th, 2004 to


Notice that all papers will be refereed to ensure that their
suitability for journal publication.


Deadline for Submissions: October  31th, 2004
Reviews Due             : November 21th, 2004
Final Versions Due      : December 19th, 2004

GUEST EDITORS of the Special Issue

Dr. Carlos Areces
INRIA Lorraine
615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone  : +33 (0)3 83 58 17 90
fax    : +33 (0)3 83 41 30 79
e-mail : carlos.areces@loria.fr
www    : http://www.loria.fr/~areces