21.278 cfp: Journal of Logic, Language and Information

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Sat, 6 Oct 2007 09:40:55 +0100

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

         Date: Sat, 06 Oct 2007 09:36:59 +0100
         From: Carlos Areces <carlos.areces_at_loria.fr>
         Subject: CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION

***CALL FOR PAPERS***

JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
(http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0)

Special Issue on HYBRID LOGIC

IMPORTANT DATES
Paper submission: March 1, 2008
Notification of acceptance: June 1, 2008
Publication: by the end of 2008

GENERAL INFORMATION
Hybrid logic is a branch of modal logic in which
it is possible to directly refer to
worlds/times/states or whatever the elements of
the (Kripke) model are meant to represent.
Although they date back to the late 1960s, and
have been sporadically investigated ever since,
it is only in the 1990s that work on them really got into its stride.

It is easy to justify interest in hybrid logic on
applied grounds, because of the usefulness of
the additional expressive power. For example,
when reasoning about time one often wants to
build up a series of assertions about what
happens at a particular instant, and standard
modal formalisms do not allow this. What is
less obvious is that the route hybrid logic
takes to overcome this problem often actually
improves the behaviour of the underlying modal formalism. For example,
it becomes far simpler to formulate modal
tableau, resolution, and natural deduction in
hybrid logic, and completeness and interpolation
results can be proved of a generality that is
not available in orthodox modal logic.

This special issue has its origin in the
International Workshop on Hybrid Logic (HyLo
2007), which was held 6-10 August in Dublin,
Ireland as part of the European Summer School in
Logic, Language, and Information (ESSLLI
2007). The HyLo 2007 workshop continued a series
of previous workshops on hybrid logic.

TOPICS
Topics of interest include not only standard
hybrid-logical machinery like nominals,
satisfaction operators, and the downarrow binder,
but generally extensions of modal logic that increase its expressive power.

SUBMISSIONS
This special issue welcomes original high-quality
contributions that have been neither published
in nor submitted to any journals or refereed
conferences. All submissions will be refereed to usual journal standards.

Submissions should not exceed 30 pages and
preferably be formatted according to the
guidelines for Journal of Logic, Language and
Information (see "Instructions for Authors" at
the web-page of the journal). Submissions
should be sent to Torben BraŁner (as PDF file):
torben_at_ruc.dk. Please put "JoLLI submission" in
the subject field and include the
following information in the body of the email:
paper title, author names, email address of the
contact author, and a short abstract.

GUEST EDITORS OF SPECIAL ISSUE
Torben BraŁner, Roskilde University, Denmark (editor-in-chief)
Thomas Bolander, Technical University of Denmark

==================================================================
Carlos Areces phone : +33 (0)3 54 95 84 90
INRIA Researcher fax : +33 (0)3 83 41 30 79
                                e-mail: carlos.areces_at_loria.fr
INRIA Lorraine. www : http://www.loria.fr/~areces
Equipe TALARIS - Batiment B
615, rue du Jardin Botanique
54600 Villers les Nancy Cedex, France
Received on Sat Oct 06 2007 - 04:57:43 EDT

This archive was generated by hypermail 2.2.0 : Sat Oct 06 2007 - 04:57:45 EDT