HOL is family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies
Open access (OA) is a key part of making research shareable and reproducable. All journal articles published open access undergoe the same rigorous peer review process.
Hopefully this list of HOL Open Access journals will make it easier for you to decide where to publish your HOL manuscript.
The list below includes all high-impact factor HOL journals as well as new up and comming journals where it might also be more affordable to publish.Instead of displaying the most commonly known HOL journals, we have made an exhaustive list of open accesss HOL journals. Use our different columns — number of papers, number of citations, and relevance — to find the best HOL venue for your manuscript.
The DOAJ columns refers to the The Directory of Open Access Journals, a list of open access journals, maintained by Infrastructure Services for Open Access.
There are certain criteria a journal must meet to be indexed by DOAJ, and thus inclusion in the DOAJ index is seen by scholars as a mark of quality.
All the open access HOL journals in this list are indexed in OA.mg.
If you spot any mistakes in this table of HOL OA journals, don’t hesitate to send us an email.
Frequently Asked Questions
Where can I publish my HOL paper?
You can publish your HOL paper in the Open Access journals in this list
What is Open Access (OA)?
Open access (OA) is a set of principles and practices through which research is freely distributed online
What does “relevance” mean in the table?
If a journal has a relevance of “100”, that means that the journal is fully related to the concept it is listed under. If, on the other hand, a journal has a relevance of “0”, that means that the journal doesn’t have any relation to the topic it is listed under. So Nutrition might have a low relevance when included in Open Computer Science Journals
How do you count total number of citations?
The citations show how often articles from a journal have been referenced in other works. We get this data from OpenAlex.
Where can I find other lists like this one?
If you're interested in seing more lists similar to this one, you can find all our lists on OA.mg
How can I publish my paper on OA.mg?
Our aim at OA.mg is to disseminate existing open access research papers. For this reason, we do not publish any papers. What we do is that once a paper has been published, we index it in OA.mg so that more people can find and access a journal article.
What is an APC?
In some cases, articles published in journals are made open access and freely available online, immediately upon publication. This is made usually made possible by an article-processing charge (APC) that covers the range of publishing services provided.
What are the different Open Access types?
The most common types are “Green Open Access”, “Gold Open Access” and “Hybrid Open Access”.