Journal of Applied Non-Classical Logics

The Journal of Applied Non-Classical Logics (ISSN 1166-3081) is an international tribune, published by Éditions Hermès-Lavoisier (see also their JANCL webpage) which aims at promoting the development of non-classical logics in Computer Science, with contributions ranging from mathematical foundations of such logics to their applications in Computer Science. Non-classical logics cover a large variety of formalisms such as: modal logics, temporal logics, epistemic logics, conditional logics, intermediate logics, non-monotonic logics, logics of vagueness, logics of uncertainty, relevance logics, paraconsistent logics, multivalued logics, logics of programs, etc. The following areas, among others, are relevant for the Journal of Applied Non-Classical Logics:

• Formal aspects of non-classical formalisms (completeness, decidability, complexity...)
• Applications of non-classical logics to:
• Artificial Intelligence and Cognitive Science (knowledge representation, automated reasoning, natural language,...)
• Theoretical Computer Science (program verification, program synthesis...)

Applications to other domains are welcome if they illustrate the usefulness of non-classical logics. The journal is published four times a year (twice a year before 1996) with regular papers describing original work or high quality synthesis work, short research notes, position papers, a problem section, information about meetings and conferences, call for papers, and book reviews.

Contacts: Journal of Applied Non-Classical Logics, Webm@ster

Last update: December 8, 2011