From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/262 Path: news.gmane.org!not-for-mail From: Carlos Areces Newsgroups: gmane.science.mathematics.categories Subject: 2nd CFP: Special Issue on Hybrid Logics of the LJ-IGPL Date: Thu, 23 Apr 2009 15:16:55 +0200 Message-ID: <200904231316.n3NDGtc0021300@pluton.loria.fr> Reply-To: Carlos Areces NNTP-Posting-Host: lo.gmane.org Content-Type: text/plain X-Trace: ger.gmane.org 1240500394 24660 80.91.229.12 (23 Apr 2009 15:26:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 23 Apr 2009 15:26:34 +0000 (UTC) Original-X-From: categories@mta.ca Thu Apr 23 17:27:52 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1Lx0q6-0005zZ-1q for gsmc-categories@m.gmane.org; Thu, 23 Apr 2009 17:27:50 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Lx0Bg-0001QE-0D for categories-list@mta.ca; Thu, 23 Apr 2009 11:46:04 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:262 Archived-At: *************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** CALL FOR PAPERS Logic Journal of the IGPL Special issue on Hybrid Logic DEADLINE FOR SUBMISSIONS: 31st May 2009 *************************************************************** Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of this special issue is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc.) but also extensions of modal logic that increase its expressive power in one way or other. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). The special issue will welcome papers in a wide range of topics, including description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. We welcome both theoretical work and work describing systems and applications on hybrid logics, broadly conceived. All submissions will be peer reviewed with respect to the usual journal criteria. Authors are invited to submit original, previously unpublished, research papers written in English. SUBMISSION DETAILS: Papers should not exceed 25 pages including references. Authors are required to prepare their submissions in latex, using the style available at http://hylo.loria.fr/content/SI/2009 Submissions should be sent as .pdf files to areces (at) loria.fr DEADLINE FOR SUBMISSIONS: 31st May 2009 GUEST EDITORS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr)