Following fields are empty!

1
Search
2
Select
3
Submit
39
Journals
Go to Previous Page
Page 2 of 2

Request Journal

Please fill in the form to request a new journal to be added. We will review your request and add it to the Journal Guide as soon as possible.

*

Journal of Logic, Language and Information

ISSN: 0925-8531eISSN: 1572-9583
SIGAPS Level B
Publisher: Springer
Visit Publisher homepageVisit journal homepage
PhilosophyComputer Science(all)Computer Science (miscellaneous)Artificial IntelligenceLogicLinguistics and Language

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.

Read more
Loading data ...
Compliant Options - Provided by Journal Checker Tool

Hybrid Journal

Go ahead and submit. Remember to select a CC BY licence to ensure compliance.

Transformative Agreement

Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.

Transformative Journal

Select the open access publishing option with a CC BY license to ensure compliance.

Full Open Access

Go ahead and submit. Remember to select a CC BY license to ensure compliance.

Self-Archiving

Following acceptance, please deposit your author accepted manuscript in a repository without embargo.

Self-Archiving using Rights Retention

Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.

Unfortunately, this journal has no Plan-S compliant options - Provided by Journal Checker Tool

Go to Journal

Journal of Logical and Algebraic Methods in Programming

eISSN: 2352-2216
Publisher: Elsevier
Visit Publisher homepageVisit journal homepage
Computer Science(all)Computational Theory and MathematicsSoftwareLogicTheoretical Computer ScienceSociology and Political ScienceCultural StudiesPolitical Science and International Relations
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

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.

Read more
Loading data ...
Compliant Options - Provided by Journal Checker Tool

Hybrid Journal

Go ahead and submit. Remember to select a CC BY licence to ensure compliance.

Transformative Agreement

Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.

Transformative Journal

Select the open access publishing option with a CC BY license to ensure compliance.

Full Open Access

Go ahead and submit. Remember to select a CC BY license to ensure compliance.

Self-Archiving

Following acceptance, please deposit your author accepted manuscript in a repository without embargo.

Self-Archiving using Rights Retention

Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.

Unfortunately, this journal has no Plan-S compliant options - Provided by Journal Checker Tool

Institutional Agreement

Tous les auteurs correspondants des Hospices Civils de Lyon ont la possibilité de publier leurs articles de recherches en Open Access dans cette revue. Pour bénéficier de cette prise en charge, déclarez les "Hospices Civils de Lyon" dans votre affiliation principale et utilisez votre adresse mail "@chu-lyon.fr" lors de la soumission de votre article.

ATTENTION:

  • Si l'éditeur vous demande de sélectionner la licence applicable, privilégiez la licence CC-BY à toutes autres.
  • Pour les revues non éligibles, dont The Lancet et les revues Cell Press, ou en cas d’épuisement du stock de droits, la publication en accès ouvert immédiat devient payante mais de manière optionnelle ; le tarif bénéficie dans ce cas d’une remise de 10%.
  • Les articles publiés en accès ouvert immédiat au titre de l’accord peuvent être déposés dans leur version finale éditeur dans une archive ouverte, par exemple dans HAL-HCL.
  • Dans le cas des articles sous abonnement, il est permis par la Loi République numérique de déposer dans une archive ouverte le manuscrit auteur accepté d’un article et de le diffuser avec un embargo de 6 mois (sciences dures) ou 12 mois (SHS).

Si vous rencontrez des difficultés ou si vous avez des questions, contactez la Documentation Centrale sur sa.documentationcentrale@chu-lyon.fr ou au 04-72-11-29-99 (31-29-99)