Compare journals
Get an email when this journal's indexing changes
Added to or removed from Scopus, Web of Science, ABDC, DOAJ, FT50, UT Dallas or ONOS. One confirmation click; unsubscribe anytime.
Journal of Formalized Reasoning
Journal of Formalized Reasoning is not currently indexed in Scopus. Published by University of Bologna.
Checked against the index lists dated .
ISSN 1972-5787Verify ISSN ↗
Publisher: University of Bologna
Cost to publish: No APC data — check the publisher
Not listed in: Web of Science, DOAJ, ABDC, ABS / AJG, FT50, UT Dallas, ONOS (subscription), ONOS (APC covered)
Quick answers
Is Journal of Formalized Reasoning indexed in Scopus?
No — it was previously covered by Scopus but its coverage is now inactive/discontinued (2013–2020).
What is the impact factor of Journal of Formalized Reasoning?
Journal of Formalized Reasoning has no Journal Impact Factor — JIF is published only for journals in the Web of Science Core Collection (SCIE, SSCI, AHCI and ESCI) — and Scopus has not published a current CiteScore for it either. Treat any "impact factor" quoted for this journal elsewhere as unofficial.
Who publishes Journal of Formalized Reasoning and what is its ISSN?
Journal of Formalized Reasoning is published by University of Bologna. Its ISSN is 1972-5787.
Is Journal of Formalized Reasoning in Web of Science?
No — it is not currently in the Web of Science core collections (SCIE, SSCI, AHCI or ESCI).
Is Journal of Formalized Reasoning open access?
No — it is not registered as an open-access journal in DOAJ or Scopus.
Scopus coverage history
Scopus indexed Journal of Formalized Reasoning for 8 years, between 2013 and 2020. Coverage ended in 2020, 6 years ago, and Scopus now lists the title as inactive.
How well cited is Journal of Formalized Reasoning? — open metrics via OpenAlex
Journal of Formalized Reasoning has an h-index of 0 and a 2-year mean of 0 citations per paper (OpenAlex).
h-index, i10-index and 2-year mean citedness are open, licence-clear metrics from OpenAlex — not a proprietary impact factor. Updated 2026-10-14.
Are there integrity warnings for Journal of Formalized Reasoning? — indicators, not proof of misconduct
Scopus status: Inactive — coverage ended 2020. No retracted papers are recorded. The Problematic Paper Screener flags none of its papers. These are indicators to check, not findings against the journal.
- Scopus statusInactive — coverage ended 2020
- Retracted papers None recorded
- Problematic Paper Screener flags None flagged
Retractions from OpenAlex; flags from the Problematic Paper Screener (Cabanac, Labbé & Magazinov, CC BY), 2026-09-21 export. A flag marks a paper for a closer look; it is not a finding against the journal.
Official sources & links
Community experience: reader comments on this journal
More from University of Bologna
University of Bologna has 13 other titles in our data; 12 are currently indexed in Scopus.
Related journals
8 journalsIndex data is curated from public sources (Scopus, Web of Science, ABDC, FT50, UT Dallas, DOAJ). CiteScore and quartiles reflect the latest available Scopus release. Always verify a journal's current status on its official source before submitting.
Comments load as you scroll here.