Journal of Applied Non-Classical Logics

Journal of Applied Non-Classical Logics

The Journal of Applied Non-Classical Logics is an international tribune, which aims at promoting the development of non-classical logics 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.

Contributions range from mathematical foundations of such logics to their applications in Computer Science. 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,...).

Relevant Information

• Visit the Web Site
• Email Contact: jancl@irit.fr
• Publisher: ￉ditions Herm￨s
• 1166-3081

If you know of a philosophy journal that isn't listed in the index, you can send us the information in an email message. We would appreciate it.

• Journal Title
• Website Link (URL)
• Topical Keywords (e.g. "existentialism," "Jean-Paul Sartre")
• Descriptive information (up to three or four paragraphs)
• Email contact
• Publisher's Name and Website Link
• Attach an image of the journal if available