Information for Authors
Below is a list of topics for ‘Corners’ in the Journal of Logic and Computation .
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
Submissions are invited for the corners, full descriptions of their scope is
given by the Corner Editor. Electronic submissions should be sent directly to
the Corner Editor, using ‘JLC Corner’ as the subject line.
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.
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.
Francesca Rossi and Toby Walsh
The Constraints Corner of the Journal of Logic and Computation serves the
many intersecting disciplines interested in constraint programming, with particular
enphasis on computational and logical aspects. It is aimed at papers
in Logic, Logic Programming, and Programming Languages with focus on constraint
programming, as well as papers in Artificial Intelligence, Automated
Reasoning, Discrete Mathematics, Operations Research, and elsewhere interested
in constraint satisfaction and optimization. The Constraints Corner covers
also all aspects of constraints, both theoretical and practical, as well as applications
in areas as diverse as Bioinformatics, Design, Configuration, Robotics,
Vision, Scheduling, Planning, Resource Allocation, and Temporal and Spatial
Deontic Logic and Normative Systems
John F. Horty, Guido Governatori, Ron van der Meyden, Leon van der Torre
Deontic logic is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. The purpose of the corner is to provide a continuous forum for all aspects related to the formal-logical study of normative concepts and normative systems, and its link with computer science, artificial intelligence, philosophy, organization theory and law. We invite papers concerned with the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic, and the formal analysis of normative concepts and normative systems.
We also invite applications of deontic logic and normative systems to, for example, the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including the representation of rights, authorisation, delegation, power, responsibility and liability, the formal specification of normative systems for the management of bureaucratic processes in public or private administration, applications of normative logic to the specification of database integrity constraints, security and privacy, and normative aspects of protocols for communication, negotiation and multi-agent decision making.
Formal Logic and Language
George Metcalfe and Mattias Baaz
This corner welcomes papers addressing logical and computational issues in
Fuzzy Logic, including: t-norms and related operators, ordered algebraic structures
and alternative semantics for fuzzy logics, proof theory and applications
to automated reasoning, relationship to vagueness and probability, logical foundations
of fuzzy computing and fuzzy sets.
A growing interdisciplinary literature addresses the problem of judgement aggregation:
How can several individually consistent sets of judgements (more
generally, propositional attitudes) on logically connected propositions be aggregated
into a consistent collective set of judgements on these propositions?
Interest in this problem was sparked by the observation that majority voting on
interconnected propositions may fail to preserve consistency, a generalization of
Condorcet’s classic paradox, and the literature now contains several impossibility
and possibility results, some of which extend or generalize classic results
in social choice theory. This corner aims to be a platform for new work on
judgement aggregation, broadly construed, and its relationship with other areas
of logic, social choice theory, theories of belief revision and belief merging, and
Learning and Reasoning
Artur d’Avila Garcez
Two hallmarks of intelligent cognitive behaviour are the ability to draw rational
conclusions (reasoning) and the ability to generalise from experience (learning).
In computer science, reasoning and learning are typically treated separately,
leading to computational systems where the emphasis is on either aspect of
cognition, but not on the interplay between them. The corner welcomes papers
on the integration of reasoning and learning. This includes cognitive and
computational models of reasoning and learning, symbolic, connectionist and
neural-symbolic systems, learning and reasoning under uncertainty, integrated
abductive logic and inductive learning, robust learning and massively-parallel
reasoning in neural networks, and applications in areas such as robotics, software
engineering, semantic web and the internet, databases, and bioinformatics.
Language and Computation
Shalom Lappin (Editor-in-chief), King's College London, UK; Walter Daelemans, University of Antwerp, Belgium; Andrew Kehler, Univerity of California, San Diego, USA; Yoad Winter, Utrecht University, The Netherlands; Shuly Wintner, University of Haifa, Israel (co-editors).
This Corner publishes high quality, leading edge research papers in computational linguistics and natural language processing. It features work that deals with interesting theoretical dimensions of research on formal, empirical, and application questions.
Language and Computation examines syntax, semantics, morphology, phonology, dialogue and discourse, theories of grammar, machine learning and computational learning theory applied to natural language, mathematical and complexity properties of natural language systems, and the implementation of procedures for natural language analysis, generation, and translation. The Corner is particularly interested in articles addressing the relation of logic to the computational and formal properties of natural language.
We seek papers addressing the logical foundations of multi-agent systems, ranging
from appropriate logical/semantic models for multi-agent interaction, through
logics of cooperation and multi-agent action, to logics of rational agency and
their links with formal models of mental states such as belief, desire, and intention,
and the specification/verification of agent systems by logical methods,
including model-checking for multi-agent systems.
Logic and Law
Trevor Bench-Capon, emeritus; Henry Prakken and John Wood
Logic has played a key role in AI and Law since its beginning. Among topics
that have been addressed are: the logical formalisation of norms, legislation and
legal procedures, logical representation of contracts and their execution, logical
characterisation of normative positions, logical models of legal reasoning, legal
argument and evidential reasoning, and logic reconstructions of legal case-based
reasoning. This corner welcomes contributions on any of these topics together
with other novel approaches to the use of logic in AI and Law.
Logic for Ontology Engineering
Ian Horrocks and Uli Sattler
Ontologies are used to enable computers and humans to better ‘understand’
and reason about the meaning of terms. For example, in the Semantic Web,
terms whose meaning is defined in an ontology can be used to annotate web
accessible information and services, so they can be more easily found and used.
Ontologies are now under development and/or in use in areas as diverse as geography,
astronomy, defence, the automotive and aerospace industries, and the life
sciences, where they are used to formalize biological and medical terminologies.
Various logic-based formalisms and automated reasoning techniques are being
used in order to facilitate such understanding, and in order to help the domain
experts to construct, maintain, and use ontologies. The ‘Logic for Ontology Engineering’
corner welcomes contributions in the area of logic-based formalisms
for ontology engineering, including the investigation of reasoning problems, reasoning
techniques, their implementation, and tool support.
The corner on directions in nonclassical logic is meant to be a continuous platform
for bringing to the fore interesting and important directions in nonclassical
logic. These may be completely new lines of research, surprising extensions of
established theories, unexpected or hitherto unnoted connections between two
or more areas, or important but neglected or underestimated approaches. Contributions
to the corner are invited from all areas of non-classical logic and may
consist of single papers, or pairs or triples of complementary papers highlighting
a common theme. Also proposals for topics to be addressed in the corner are
The corner on proof theory is meant to be a platform for interesting results and
applications of proof theory. Particularly encouraged are investigations which
may lead to systems for automated reasoning in important logics and theories
for which no really satisfactory method currently exists, or results which provide
new insight into the corresponding logics and theories, or even shed new light
on older, well-known results concerning them.
Maribel Fernandez and Murdoch Gabbay
This corner welcomes papers on all aspects related to the theory of rewriting and its applications, such as: equational reasoning, theorem proving, lambda
calculus, first and higher-order rules, conditional sytems, confluence, termination,
unification and matching, verification, constraints, and software tools.
The corner is intended to be an ongoing platform for the presentation of the
interaction between methods, results and problems in the areas described below.
• The model theory of classical and non-standard logics and its use in computational
logic. For example, semantic tableaux methods and the many model checking technologies.
• The semantics of proofs and its application in computational logic. For
example, propositional intuitionistic proofs may be interpreted in bi-cartesian closed categories, various forms of bunched and
linear logics may be interpreted in categories with forms of monoidal closed
structure. Can these models be extended to interpret the construction of proofs?
• The semantics of programming languages, including operational and denotational techniques. For example, PCF is closely related to metalanguages for theorem provers in the LCF family. Can we use semantic methods, particularly in specific problem-domains, to improve understanding of tactical methods and their scope?
• Structural proof theory. For example, cut-elimination and permutation analyses provide a systematic foundation for logic programming in a wide range of logics. Can our sophisticated understanding of constructive proof adequately be extended to the more combinatorial classical systems which provide computational meta-theories for proof-search not only in classical systems but also in intuitionistic and substructural systems?
• Computational logic itself. For example, well-established activities within topics such as theorem proving and logic programming continue to generate problems which may benefit from the application of semantic methods.
Of particular interest to the corner is the application of results and techniques from work in the semantics of programming languages, in categorical logic, and in structural proof theory, to problems and theoretical developments
in computational logic.
Papers dealing with universal aspects of logics related with computability, general
frameworks and tools for such logical systems, universal features of computation.
Contributions falling within the scope of the journal are invited. Authors should restrict their papers to about 30 printed pages. Longer papers submitted and accepted for publication may incur page charges on the extra pages. Submission may be made by post or electronically. Post four copies of the manuscript to :
Professor D M Gabbay
Department of informatics
Kings College London
Electronic submission of a postscript file with a separate covering message can be made to Jane Spurr . In both cases, authors are invited to nominate a member of the board best suited to handle their paper. 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.
Format for contributors
Contributors should supply a single PDF file of their article. Pages should be numbered consecutively. The title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. E-mail address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five key words for indexing.
Original drawings should be submitted in a form ready for the printer. Care should be taken to ensure that lettering and details should easily be readable after any necessary reduction of size for publication. Each illustration should bear on the back a number, the author's name, and the title of the paper. Captions should be submitted separately on a sheet of paper at the end of the manuscript and should be identified by a number. Any photographs should be high quality glossy prints. Three sets of photocopies of the illustrations should be included. Inclusion of colour figures is subject to a special charge (£350/US$600/€525 to print a figure in colour).
Each table should be submitted on a separate sheet of paper at the end of the manuscript and identified by a number.
References should be listed alphabetically and numbered, and referred to within the text by the number.
Author Self-Archiving/Public Access policy
For information about this journal’s policy, please visit our Author Self-Archiving policy page .
Particularly if English is not your first language, before submitting your manuscript you may wish to have it edited for language. This is not a mandatory step, but may help to ensure that the academic content of your paper is fully understood by journal editors and reviewers. Language editing does not guarantee that your manuscript will be accepted for publication. If you would like information about one such service please click here . There are other specialist language editing companies that offer similar services and you can also use any of these. Authors are liable for all costs associated with such services.
Details of all funding sources for the work in question should be given in a separate section entitled 'Funding'. This should appear before the 'Acknowledgements' section.
Crossref Funding Data Registry
In order to meet your funding requirements authors are required to name their funding sources in the manuscript. For further information on this process or to find out more about the CHORUS initiative please click here.
The following rules should be followed:
- The sentence should begin: ‘This work was supported by …’
- The full official funding agency name should be given, i.e. ‘National Institutes of Health’, not ‘NIH’ (full RIN-approved list of UK funding agencies) Grant numbers should be given in brackets as follows: ‘[grant number xxxx]’
- Multiple grant numbers should be separated by a comma as follows: ‘[grant numbers xxxx, yyyy]’
- Agencies should be separated by a semi-colon (plus ‘and’ before the last funding agency)
- Where individuals need to be specified for certain sources of funding the following text should be added after the relevant agency or grant number 'to [author initials]'.
An example is given here: ‘This work was supported by the National Institutes of Health [AA123456 to C.S., BB765432 to M.H.]; and the Alcohol & Education Research Council [hfygr667789].
Licence to publish
Please note that by submitting this article for publication you confirm that you are the corresponding/submitting author and that Oxford University Press ("OUP") may retain your email address for the purpose of communicating with you about the article. You agree to notify OUP immediately if your details change. If your article is accepted for publication OUP will contact you using the email address you have used in the registration process. Please note that OUP does not retain copies of rejected articles
OPEN ACCESS OPTION FOR AUTHORS
Journal of Logic and Computation authors have the option to publish their paper under the Oxford Open initiative; whereby, for a charge, their paper will be made freely available online immediately upon publication. After your manuscript is accepted the corresponding author will be required to accept a mandatory licence to publish agreement. As part of the licensing process you will be asked to indicate whether or not you wish to pay for open access. If you do not select the open access option, your paper will be published with standard subscription-based access and you will not be charged.
Oxford Open articles are published under Creative Commons licences. Authors publishing in Journal of Logic and Computation can use the following Creative Commons licences for their articles:
• Creative Commons Attribution licence (CC BY)
Please click here for more information about the Creative Commons licences.
You can pay Open Access charges using our Author Services site. This will enable you to pay online with a credit/debit card, or request an invoice by email or post. The open access charges applicable are:
Regular charge - £1850/ $3000 / €2450
Reduced Rate Developing country charge* - £925 / $1500 / €1225
Free Developing country charge* - £0 /$0 / €0
*Visit our Developing Countries page for a list of qualifying countries
Please note that these charges are in addition to any colour/page charges that may apply.
Orders from the UK will be subject to the current UK VAT charge. For orders from the rest of the European Union, OUP will assume that the service is provided for business purposes. Please provide a VAT number for yourself or your institution, and ensure you account for your own local VAT correctly.
Authors can order offprints by using the Oxford Journals Author Services site.
Journal of Logic and Computation 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.
Third-Party Content in Open Access papers
If you will be publishing your paper under an Open Access licence but it contains material for which you do not have Open Access re-use permissions, please state this clearly by supplying the following credit line alongside the material:
Title of content ; author, original publication, year of original publication, by permission of [rights holder]. This image/content is not covered by the terms of the Creative Commons licence of this publication. For permission to reuse, please contact the rights holder.