Journal Guide

This is the official publication of the European Association for Logic, Language, and Information.

The scope of the journal is the logical and computational foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences.

Examples of main subareas are Intensional Logics including Dynamic Logic: Nonmonotonic Logic and Belief Revision: Constructive Logics: Complexity Issues in Logic and Linguistics: Theoretical Problems of Logic Programming and Resolution: Categorial Grammar and Type Theory: Generalized Quantification: Information-Oriented Theories of Semantic Structure like Situation Semantics, Discourse Representation Theory, and Dynamic Semantics: Connectionist Models of Logical and Linguistic Structures. The emphasis is on the theoretical aspects of these areas.

The purpose of the journal is to act as a forum for researchers interested in the theoretical foundations of the above subjects and their interdisciplinary connections, with an emphasis on general ideas increasing coherence.

Topics of interest to the journal include:
• Applications of algebras, co-algebra and categories to programming
• Applications of proof theory and model theory to programming
• Constraint programming
• Foundations of Programming Paradigms
• Logic programming
• Logical Foundations of Program Security
• Models and Analytical Models for Cyber-Physical Systems
• Process Calculi
• Programming Models
• Quantitative Methods for System Analysis
• Specification and verification of systems

The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.

The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.

Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.The journal is published in both hard copy and in electronic form. Contact OUP for futher details of electronic subscription.

Logica Universalis (LU) publishes peer-reviewed research papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also philosophical and historical aspects of general concepts of logiC.
Bibliographic Data
Log. Univers.
First published in 2007
1 volume per year, 4 issues per volume
approx. 500 pages per volume
Format: 15.5 x 23.5 cm
ISSN 1661-8297 (print)
ISSN 1661-8300 (electronic)AMS Mathematical Citation Quotient (MCQ): 0.07 (2011)

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.Full-text access to all papers is freely available. No registration or subscription is required, and a free email notification service is available.Papers can be submitted electronically either as ps-files or as pdf-files. On acceptance, authors are asked to provide a source tex file as specified in the Information for Authors. Even though the Journal is divided into volumes for convenience, papers are published on the internet as soon as they are accepted for publication. The goal is to have a fast turnaround of about nine months from submission to publication.Logical Methods in Computer Science is an overlay journal of the Computing Research Repository (CoRR): see arXiv.org.A disk archive and a hardcopy of the contents of Logical Methods in Computer Science is maintained by the Department of Theoretical Computer Science at the Technical University of Braunschweig, Germany, and also by a large number of mirror sites around the world.

Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science. - A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science ISSN: 0942-5616 (print). 1521-3870 (online). Volume 57. 6 Issues in 2011.

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic, such as those of algebra, model theory, proof theory and others. More specifically, the journal offers articles on topics in general logic (as defined in 1991 Mathematical Subject Classification) and on applications of logic to other branches of knowledge such as philosophy, the methodology of science or linguistics. The distinctive feature of Studia Logica is its series of monothematic issues edited by outstanding scholars and devoted to important topics of contemporary logic or covering significant conferences. This journal is also intended as an East-West link, inspiring discussion among researchers and scholars in distant places.A special rate for the members of the Association for Symbolic Logic is available. For more information, please contact: Association for Symbolic LogicBox 742 Vassar College124 Raymond AvenuePoughkeepsie, NY 12604, USAFax: 845-437-7830asl@vassar.eduWWW: aslonline