期刊名称:JOURNAL OF LOGIC AND COMPUTATION
期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, cincurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
Abstracting and Indexing Services
The Journal of Logic and Computation is covered by the following abstracting/indexing services:
COMPUTER ABSTRACTS COMPUTING INFORMATON DIRECTORY ENG. INF. SCI.CIT.IND. ZENTRALBLATT FÜR MATHEMATIK
|
|
Instructions to Authors
Submission process
Contributors 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 Computer Science Kings College London Strand London WC2R 2LS
Electronic submission of a postscript file with a separate covering message can be made to jlc@dcs.kcl.ac.uk. In both cases, authors are invited to nominate a member of the board best suited to handle their paper. Contributors 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
Manuscripts should be type written on one side only with wide margins. The typing should be double-spaced. Pages should be numbered consecutively. A title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, 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. 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. |
Editorial Board
Editor-in-Chief: D M Gabbay Department of Computer Science Kings College London Strand London WC2R 2LS UK
Journal Administrator: J Spurr, UK
Editorial Board: S Abramsky, UK K R Apt, Netherlands H Barendregt, Netherlands H Barringer, UK J van Benthem, Netherlands H D Ehrich, Germany M Fitting, USA P Gardenfors, Sweden M Gelfond, USA M Georgeff, Australia J Halpern, USA C L Hankin, UK J Hintikka, USA W Hodges, UK G Huet, France N Jennings, UK P Kolaitis, USA R A Kowalski,UK T S E Maibaum,UK D Makinson, France D Miller, USA G Mints, USA R Nakajima, Japan D Nute, USA H J Olbach, UK D Perlis, USA A Pnueli, Israel J Siekmann, Germany P Smets, Belgium R Turner, UK
Advisors: C Jones, UK A Meyer, USA R Milner, UK D Scott, USA
|