期刊语言：英语

出版地区：英国

万维提示

1、投稿方式：邮箱投稿。

2、刊内网址：https://academic.oup.com/logcom

3、官网邮箱：jane@janespurr.net

4、期刊刊期：一年出版8期。

2021年11月12日星期五

投稿须知【官网信息】

Journal of Logic and Computation

Submission Guidelines

Introduction

Contributions falling within the scope of the journal are invited, and electronic submission of a PDF file with a separate covering message with "JLC Submission" in the subject line can be made to Jane Spurr (jane@janespurr.net).

Contributions will be acknowledged in all cases; referees' comments and the decision of the Editorial Board will be forwarded to contributors as soon as possible after submission.

The submission of any manuscript will imply that the content is original, has not been previously published in a journal and is not being considered for publication elsewhere.

This Journal takes publication ethics very seriously. If misconduct is found or suspected after the manuscript is published, the journal will investigate the matter and this may result in the article subsequently being retracted.

In addition to regular submissions, the Journal has a number of "Corners", a list of which is found below.

Corners cover hot and important frontline topics. Whereas the traditional practice of publishing a special issue is limited over space and time, the corner functions as a family of related open-ended special issues stretched linearly over time.

Submissions that fall into the scope of the corners are invited, and should submitted in PDF format to  Jane Spurr (jane@janespurr.net) using "JLC Submission" as the subject line, and stating clearly in the covering note which corner the submission is intended for.

'Corner' articles

AI Logic

Beishui Liao and Leendert Van der Torre

Big Data and machine leaning techniques have been widely used in various forms of artificial intelligence, such as big data intelligence, swarm intelligence, cross media intelligence, man-machine hybrid enhanced intelligence and autonomous intelligence systems, etc., in which the role of logic has been more or less neglected. However, in an open, dynamic and real environment, to enable machines to make rational decisions, provide effective explanations to human beings, and behave ethically and legally, logic is an essential tool to build various sophisticated models, with or without combining with machine learning approaches. The ‘AI Logic’ corner welcomes contributions that cover in all aspects of the use of logics in artificial intelligence, and submissions that combine knowledge-based approaches and machine learning-based approaches are particularly encouraged.

Algebraic and Coalgebraic Logic

Robin Hirsch and Yde Venema

Coalgebras are rapidly gaining ground as fundamental structures for modelling the concept of state-based dynamics, where typically, a “state of affairs” can be observed and modified. Of clear and even defining importance in the study of such evolving systems is the concept of behavior and related notions such as invariance and observational (in)distinguishability. The emergence of Universal Coalgebra as a general theory of state-based systems explains the increasing interest in the development and study of languages and deductive systems for specifying and reasoning about behaviour at a coalgebraic level of generality. Many of these coalgebraic logics share or generalize interesting features of modal logics, and as a consequence, Coalgebraic Logic is not only the natural meeting ground of Logic and Coalgebra, but also an exciting new application area of modal logic. Algebraic Logic, on the other hand, the study of logics by algebraic tools and techniques, is the natural interface of Logic and Universal Algebra. A long and established branch of logic, algebraic logic is presently experiencing a revival in which both new ideas emerge but also, old insights are seen to travel much further than realized previously. Algebra and Coalgebra have much in common. Their relation is characterized by a fascinating mix of dualities.

Argumentation

Phan Minh Dung, Guillermo R. Simari and Francesca Toni

The purpose of the corner is to provide a continuous forum for the publication of advanced research on all aspects of computational argumentation ranging from formal models to applications including decision making, negotiation and dispute resolution as well as the integration of logic-based argumentation with other technologies such as agent models and architectures and methods for reasoning about uncertainty.

Computable Structures

Uri Andrews

We seek papers addressing questions about computable structures, including when structures admit computable presentations, and which degrees can build computable presentations of structures. Of particular interest are papers which bring to bear tools from more than one field towards the aim of understanding computations of structures, such as computer science, computability theory, model theory, set theory, algebra, analysis, proof theory, etc.

……

更多详情：

https://academic.oup.com/logcom/pages/General_Instructions