.

JournalsISSN (printed or electronic)OBSImpactFactor (JCR 2009)Classificações Qualis 2010Áreas de avaliaçãoLink

.

Abstracta: Linguagem, Mente & Ação {Niterói}1807-9792open access-B2;B3;B5;B5;CINT;Fil;E-IV; ECM;SColhttp://www.abstracta.pro.br/

.

ACM Transactions on Computational Logic [ACM]1529-3785indexed ISI1,212SC-http://tocl.acm.org/

.

Acta Analytica [Springer]0353-5150indexed ISI-B1;B5Fil;E-IIhttp://www.springerlink.com/content/113305/

.

Acta Philosophica Fennica {Finland}0355-1792--A2Filhttp://www.helsinki.fi/jarj/sfy/Acta.htm

.

Algebra and Logic [Springer]0002-5232indexed ISI0,479B2Mathttp://www.springer.com/mathematics/algebra/journal/10469

.

Algebra Universalis [Birkhäuser / Springer]0002-5240indexed ISI0,245SC-http://www.springerlink.com/content/101190/

.

Analysis [Wiley]0003-2638indexed ISI-A2Filhttp://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1467-8284

.

Annals of Pure and Applied Logic (Annals of Mathematical Logic) [Elsevier]0168-0072indexed ISI0,667B1;B1CC;Mathttp://www.elsevier.com/wps/product/cws_home/505603

.

Annals of the Japan Association for the Philosophy of Science0453-0691open access-SC-http://phsc.jp/en/

.

Archive for Mathematical Logic (Archiv für mathematische Logik und Grundlagenforschung) [Springer]0933-5846, 1432-0665indexed ISI0,349B1INThttp://www.springer.com/mathematics/journal/153

.

Argumentation: An international journal on reasoning [Springer]0920-427X--SC-http://www.springerlink.com/content/0920-427X

.

Artificial Intelligence [Elsevier]0004-3702indexed ISI3,036A1;A1CC;E-IVhttp://www.elsevier.com/wps/product/cws_home/505601

.

Australasian Journal of Logic {Melbourne}1448-5052open access-SC-http://www.philosophy.unimelb.edu.au/ajl/

.

Australasian Journal of Philosophy [Routledge]0004-8402indexed ISI-A1;B3Fil;INThttp://www.informaworld.com/smpp/title~content=t713659165

.

Automation and Remote Control (Avtomatika i Telemekhanika) [Springer]0005-1179indexed ISI0,251B5Mathttp://www.springerlink.com/content/106514/

.

Autonomous Agents and Multi-Agent Systems [Springer]1387-2532indexed ISI1,510A2CChttp://www.springer.com/computer/ai/journal/10458

.

Axiomathes: An international journal in ontology and cognitive systems [Springer]1572-8390, 1122-1151indexed ISI-SC-http://www.springer.com/philosophy/journal/10516

.

Boletim da Sociedade Paranaense de Matematica [UFPR]0037-8712--B4;B5Mat;E-IIIhttp://www.spm.uem.br/_bspm/ingles.php

.

Boletín de la Asociación Matemática Venezolana1315-4125--B4;B5ECMhttp://www.emis.de/journals/BAMV/presentation.html

.

Bulletin of Symbolic Logic [ASL]1079-8986indexed ISI, open access0,694A1;A2;B1Fil;INT;CChttp://www.aslonline.org/journals-bulletin.html

.

Bulletin of the Section of Logic {Lodz, Poland}0138-0680--B1;B4Fil;INThttp://www.filozof.uni.lodz.pl/bulletin/

.

CLE e-Prints {Campinas}1519-9681-B2Filhttp://www.cle.unicamp.br/e-prints/index.html

.

Computational Intelligence [Wiley]0824-7935indexed ISI5,378A1E-IIIhttp://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1467-8640

.

Conceptus (Zeitschrift für Philosophie) [Academia]0010-5155--SC-http://www.academia-verlag.de/titel/66150.htm

.

Crítica: Revista de Filosofia [London]1749-8457--B4;B4;B4;CEdu;Fil;Inthttp://criticanarede.com/

.

Crítica: Revista Hispanoamericana de Filosofía {México}0011-1503indexed ISI-B1;B3Fil;INThttp://critica.filosoficas.unam.mx/

.

Dialectica: International review of philosophy of knowledge [Wiley]0012-2017indexed ISI-A2Filhttp://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1746-8361

.

Disputatio: International Journal of Philosophy {Lisboa}0873-626Xopen access-B1Filhttp://disputatio.com/

.

Dissertationes Mathematicae [Impan]0012-3862indexed ISI0,235SC-http://journals.impan.gov.pl/dm/

.

Electronic Journal of Analytic Philosophy {Louisiana}1071-5800open access-SC-http://ejap.louisiana.edu/

.

Electronic Notes in Theoretical Computer Science [Elsevier]1571-0661--B2;B2;B2;B4CC;E-III;INT;E-IVhttp://www.elsevier.com/wps/product/cws_home/681021

.

Electronic Proceedings in Theoretical Computer Science2075-2180open access-SC-http://www.eptcs.org/

.

Epistemologia: An Italian journal for the philosophy of science [Tilgher]0392-9760indexed ISI0,000A2Filhttp://www.tilgher.it/(hko33z55uh30kl55niryuamw)/index.aspx?lang=&tpr=1

.

Erkenntnis: An international journal of analytic philosophy [Springer]0165-0106indexed ISI-B2E-Ihttp://www.springerlink.com/link.asp?id=102879

.

Formal Aspects of Computing [Springer]0934-5043indexed ISI1,255B1;B1CC;E-IVhttp://www.springerlink.com/content/102822/

.

Formalized Mathematics [Versita]1426-2630--SC-http://versita.metapress.com/content/121073/

.

From the Logical Point of View [Academy of Sciences of the CZ]1210-2261--SC-http://www.lib.cas.cz/casopisy/eng/From_the_Logical_Point_of_View.htm

.

Fundamenta Informaticae [IOS]0169-2968indexed ISI0,615B1;B2CC;E-IVhttp://www.iospress.nl/loadtop/load.php?isbn=01692968

.

Fundamenta Mathematicae [Impan]0016-2736indexed ISI0,607B1Mathttp://journals.impan.gov.pl/fm/

.

Fuzzy Sets and Systems [Elsevier]0165-0114indexed ISI2,138A1;A1;A2;B1CC;E-IV;E-I;Mathttp://www.elsevier.com/wps/product/cws_home/505545

.

History and Philosophy of Logic [Routledge]0144-5340indexed ISI0,222A2Filhttp://www.informaworld.com/smpp/title~content=t713812075~db=all

.

Informal Logic: Reasoning and argumentation in theory and practice0824-2577indexed ISI, open access-SC-http://ojs.uwindsor.ca/ojs/leddy/index.php/informal_logic

.

Information and Computation [Elsevier]0890-5401indexed ISI1,225A2CChttp://www.elsevier.com/wps/product/cws_home/622844

.

Inquiry [Routledge]0020-174Xindexed ISI-A1Filhttp://www.informaworld.com/smpp/title~content=t713393858

.

Inquiry: Critical thinking across the disciplines [Philosophy Documentation Center]1093-1082--SC-http://secure.pdcnet.org/pdc/bvdb.nsf/journal?openform&journal=pdc_inquiryct

.

International Journal of Approximate Reasoning [Elsevier]0888-613Xindexed ISI2,090A1;B1;B1E-IV;CC;E-IIIhttp://www.elsevier.com/wps/product/cws_home/505787

.

International Journal of Logic and Computation [Computer Science Journals] {Malaysia}2180-1290open access-SC-http://www.cscjournals.org/csc/description.php?JCode=IJLP

.

International Journal of Mathematical and Computer Sciences1814-0432--SC-http://ijmcs.futureintech.net/

.

International Journal of Mathematics and Mathematical Science [Hindawi]0161-1712--B3;B4Geo;Mathttp://www.hindawi.com/journals/ijmms/

.

International Logic Review (Rassegna Internazionale di logica)0048-6779--SC-

.

Journal of Algorithms in Cognition, Informatics and Logic (Journal of Algorithms) [Elsevier]0196-6774indexed ISI0,444A2;B1;B1CC;E-IV;Mathttp://www.elsevier.com/wps/product/cws_home/622851

.

Journal of Applied Logic [Elsevier]1570-8683indexed ISI-B2;B5CC;Mathttp://www.elsevier.com/wps/product/cws_home/672712

.

Journal of Applied Mathematics [Hindawi]1110-757X--B4Mathttp://www.hindawi.com/journals/jam/

.

Journal of Applied Non-Classical Logics (Journal of Non-Classical Logic) [Hermès-Lavoisier]1166-3081--B1;B2;B5Fil;CC;Mathttp://jancl.revuesonline.com/

.

Journal of Artificial Intelligence Research [Morgan Kaufmann]1076-9757indexed ISI1,981A2CChttp://www.jair.org/

.

Journal of Automation and Information Sciences [Begell House]1064-2315indexed ISI-SC-http://dl.begellhouse.com/journals/2b6239406278e43e.html

.

Journal of Automated Reasoning [Springer]1573-0670, 0168-7433indexed ISI1,926B1CChttp://www.springerlink.com/content/100280/

.

Journal of Functional Programming [Cambridge]0956-7968, 1469-7653indexed ISI1,474B1CChttp://journals.cambridge.org/action/displayJournal?jid=JFP

.

Journal of Functional and Logic Programming [EAPLS]1080-5230--SC-

.

Journal of General Education [Penn State]0021-3667--SC-http://muse.jhu.edu/journals/jge/

.

Journal of Intelligent Information Systems [Springer]0925-9902--B1;B1;B2CC;E-I;E-IVhttp://www.springerlink.com/content/100289/

.

Journal of Logic and Algebraic Programming [Elsevier]1567-8326indexed ISI1,060B1CChttp://www.elsevier.com/wps/product/cws_home/621520

.

Journal of Logic and Computation [Oxford]0955-792Xindexed ISI0,789A2;B1;B1;B2Fil;CC;Mat;E-IVhttp://logcom.oxfordjournals.org/

.

Journal of Logic Programming [Elsevier]0743-1066--SC-http://www.sciencedirect.com/science/journal/07431066

.

Journal of Logic, Language and Information [Springer]0925-8531--B1;B1;B5CC;Soc;M-Ihttp://www.springerlink.com/content/100291/

.

Journal of Mathematical Logic [World Scientific]0219-0613indexed ISI0,353SC-http://ejournals.worldscientific.com.sg/jml/jml.shtml

.

Journal of Multiple-Valued Logic and Soft Computing [Old City]1542-3980indexed ISI0,343B2CChttp://www.oldcitypublishing.com/MVLSC/MVLSC.html

.

Journal of Philosophical Logic [Springer]0022-3611indexed ISI-A1;B2Fil;CChttp://www.springerlink.com/content/100295/

.

Journal of Philosophy (Journal of Philosophy, Psychology, and Scientific Methods) [JSTOR]0022-362X--SC-http://www.jstor.org/journals/0022362X.html

.

Journal of Symbolic Logic [ASL]0022-4812indexed ISI0,631A2Filhttp://www.aslonline.org/journals-journal.html

.

Kriterion [UFMG]0100-512Xindexed ISI-B1-B4váriashttp://www.scielo.br/revistas/kr/iaboutj.htm

.

L'Enseignement Mathématique {Switzerland}0013-8584--B1Mathttp://www.unige.ch/math/EnsMath/

.

Lecture Notes in Computer Science0302-9743indexed ISI-B1-B5;Cváriashttp://www.springerlink.com/content/105633/

.

Linguistics and Philosophy [Springer]0165-0157indexed ISI-SC-http://www.springerlink.com/content/102955/

.

Logic and Logical Philosophy {Torun, Poland}1425-3305--B1;B1Fil;INThttp://www.logika.umk.pl/llp/

.

Logic and Philosophy of Science (L&PS) {Italy}1826-1043--SC-http://www2.units.it/episteme/

.

Logic Journal of the IGPL [Oxford]1367-0751indexed ISI0,320A2;B1;B1;B1;B2;B4;B4Fil;E-III;INT;Mat; CC;CB-I;ECMhttp://jigpal.oxfordjournals.org/

.

Logica Trianguli {Lodz, Nantes, Santiago de Compostela}--SC-http://www.filozof.uni.lodz.pl/index.php/czasopisma/logica-trianguli

.

Logica Universalis [Springer]1661-8297--B1;B5Fil;Mathttp://www.springer.com/birkhauser/mathematics/journal/11787

.

Logical Analysis and History of Philosophy {Bonn}--SC-http://www.ruhr-uni-bochum.de/philosophy/pla/

.

Logical Methods in Computer Science1860-5974indexed ISI, open access1,036SC-http://www.lmcs-online.org/index.php

.

Logical Studies {Russia}--SC-http://logic.ru/en/epublish/14

.

Logique et Analyse0024-5836indexed ISI-SC-http://www.vub.ac.be/CLWF/L&A/

.

Manuscrito: Revista Internacional de Filosofia [CLE]0100-6045--A2;B1;B3;B3;B4Fil;INT;E-IV;Psi;SColhttp://www.cle.unicamp.br/manuscrito/

.

Matemática Universitária [SBM]0102-8545--B5; C; CMat;Adm;ECMhttp://www.rmu.sbm.org.br/

.

Mathematica Japonica0025-5513--SC-http://www.jams.or.jp/notice/mj/mj.html

.

Mathematical Intelligencer [Springer]0343-6993indexed ISI0,483B5ECMhttp://www.springer.com/mathematics/journal/283

.

Mathematical Logic Quarterly (Zeitschrift für mathematische Logik und Grundlagen der Mathematik) [Wiley]1521-3870, 0942-5616indexed ISI-SC-http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870

.

Mathematical Structures in Computer Science [Cambridge]0960-1295indexed ISI0,838SC-http://journals.cambridge.org/action/displayJournal?jid=MSC

.

Mathesis Universalis1426-3513--SC-http://www.calculemus.org/MathUniversalis/index.html

.

Medieval Philosophy and Theology1057-0608open access-SC-http://cip.cornell.edu/DPubS?service=UI&version=1.0&verb=Display&page=home&handle=cip.mpat

.

Metaphilosophy [Wiley]0026-1068indexed ISI-SC-http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1467-9973

.

Mind [Oxford]0026-4423indexed ISI-A1Filhttp://mind.oxfordjournals.org/

.

Minds and Machines [Springer]0924-6495indexed ISI0,783A2;B2Fil;SColhttp://www.springerlink.com/content/100314/

.

Minerva: A review of science, learning and policy [Springer]0026-4695indexed ISI-B2M-IIhttp://www.springerlink.com/content/102961/

.

Minerva: Internet Journal of Philosophy {Ireland}1393-614X--SC-http://www.ul.ie/~philos/

.

Miscellanea Logica {Prague}--SC-http://www.miscellanea-logica.info/

.

Natural Language Semantics [Springer]0925-854Xindexed ISI-SC-http://www.springerlink.com/content/102969/

.

Nordic Journal of Philosophical Logic [Routledge]0806-6205--SC-http://www.informaworld.com/smpp/title~content=t713795559

.

Notes on Linguistics {Dallas}0736-0673--SC-http://www.sil.org/lingualinks/linguistics/notesonlinguistics/contents.htm

.

Notre Dame Journal of Formal Logic0029-4527indexed ISI-SC-http://www.nd.edu/~ndjfl/

.

Noûs [Wiley]0029-4624indexed ISI-A2Filhttp://www.wiley.com/bw/journal.asp?ref=0029-4624

.

O Que Nos Faz Pensar [PUC-RJ]0104-6675--B1;B2;B4;B5;Cváriashttp://www.oquenosfazpensar.com/web/

.

Philosophers' Imprint1533-628Xopen access-SC-http://www.philosophersimprint.org/

.

Philosophia Mathematica [Oxford]0031-8019indexed ISI-SC-http://philmat.oxfordjournals.org/

.

Philosophical Review [Duke]0031-8108--A1http://philreview.dukejournals.org/

.

Philosophical Studies [Springer]0031-8116indexed ISI-SC-http://www.springerlink.com/content/102978/

.

Philosophy [Cambridge]0031-8191indexed ISI-SC-http://journals.cambridge.org/action/displayJournal?jid=PHI

.

Phinews: The newsletter for philosophical logic and its applications1602-1444open access-SC-http://phinews.ruc.dk/

.

Portugaliae Mathematica0032-5155open access-B2;CMat;Asthttp://www.ems-ph.org/journals/journal.php?jrn=pm

.

Praxis Filosófica {Colombia}0120-4688open access-B3Filhttp://praxis.univalle.edu.co/

.

Principia: An international journal of epistemology [UFSC]1414-4247open access-B1;B1;B1;B5Fil;INT;L/L;ECMhttp://www.cfh.ufsc.br/~principi/

.

Proceedings of the Aristotelian Society [Wiley]0066-7374--A1Filhttp://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1467-9264

.

Publications de l'Institut Mathématique {Beograd}0350-1302open access-SC-http://www.emis.de/journals/PIMB/

.

Quality and Quantity [Springer]0033-5177indexed ISI0,679A2;B1;B1Psi;E-I;E-IIIhttp://www.springerlink.com/content/102985/

.

Ratio [Wiley]0034-0006indexed ISI-SC-http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1467-9329

.

Rechtstheorie [Duncker & Humblot]0034-1398--SC-http://www.atypon-link.com/DH/loi/rth?cookieSet=1

.

Reports on Mathematical Logic [Jagiellonian University Press]0137-2904--B4Mathttp://www.iphils.uj.edu.pl/rml/rml.htm

.

Research on Language and Computation [Springer]1570-7075--SC-http://www.springerlink.com/content/111138/

.

Review of Metaphysics {Washington}0034-6632indexed ISI-A2Filhttp://www.reviewofmetaphysics.org/

.

Review of Modern Logic1047-5982--SC-http://modernlogic.org/

.

Review of Symbolic Logic [Cambridge]1755-0203indexed ISI0,345SC-http://www.aslonline.org/journals-review.html

.

Revue d’Histoire des Mathématiques1262-022X--SC-http://smf.emath.fr/Publications/RevueHistoireMath/

.

Scripta Mathematica--SC-http://en.wikipedia.org/wiki/Scripta_Mathematica

.

Sorites: Digital Journal of Analytical Philosophy {Madrid}1135-1349open access-B1;CFil;CChttp://www.ifs.csic.es/sorites/

.

Studia Logica [Springer]0039-3215--A2;A2;B2;B4Fil;INT;Mat;CChttp://www.springerlink.com/content/100340/

.

Synthese [Springer]0039-7857indexed ISI0,729A2;A2;B2;B4E-III;Fil;Mat;CChttp://www.springerlink.com/content/103001/

.

Teorema: International Journal of Philosophy {Spain}0210-1602indexed ISI-SC-http://www.unioviedo.es/Teorema/English/index.html

.

Theoretical Computer Science [Elsevier]0304-3975indexed ISI0,943A1;A1;A2;B2CC;Mat;INT;E-IVhttp://www.sciencedirect.com/science/journal/03043975

.

Theoretical Linguistics [Walter de Gruyter]0301-4428indexed ISI-SC-http://www.reference-global.com/loi/thli

.

Theoria: A Swedish Journal of Philosophy {Lund, Sweden}0040-5825indexed ISI-B4Ecohttp://www.infra.kth.se/phil/theoria/Theoriaindex.htm

.

Theoria: Revista de teoría, historia y fundamentos de la ciencia {Madrid}0495-4548indexed ISI-B1;B2Fil;INThttp://www.ehu.es/ojs/index.php/THEORIA

.

Theory and Decision [Springer]0040-5833indexed ISI-B3Mathttp://www.springerlink.com/content/100341/

.

Theory and Practice of Logic Programming [Cambridge]1471-0684indexed ISI1,467B1CChttp://journals.cambridge.org/action/displayJournal?jid=TLP

.

Topoi: An international review of philosophy [Springer]0167-7411indexed ISI-SC-http://www.springerlink.com/content/103006/

.

.

Total number of journals:134

.

Indexed by the ISI:72

.

With fully open access on-line:18