Class information for:
Level 1: JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
22155 391 17.4 24%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
276 3       FUZZY SETS AND SYSTEMS//ALGEBRA UNIVERSALIS//ROUGH SETS 43335
2659 2             MV ALGEBRA//LOGIC//BL ALGEBRA 3451
22155 1                   JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM 391

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 JUSTIFICATION LOGIC authKW 2362360 8% 92% 33
2 LOGIC OF PROOFS authKW 2033250 7% 96% 27
3 REALIZATION THEOREM authKW 702853 2% 100% 9
4 HEYTING ARITHMETIC authKW 520625 3% 67% 10
5 PROVABILITY LOGIC authKW 437314 4% 40% 14
6 NEGATIONLESS MATHEMATICS authKW 390474 1% 100% 5
7 BASIC PROPOSITIONAL LOGIC authKW 312379 1% 100% 4
8 LOGIC WoSSC 250367 55% 1% 217
9 EXPLICIT MODAL LOGIC authKW 249902 1% 80% 4
10 KRIPKE MODEL authKW 248654 3% 29% 11

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Logic 250367 55% 1% 217
2 Mathematics 8995 65% 0% 254
3 Philosophy 4859 18% 0% 69
4 Mathematics, Applied 1230 23% 0% 90
5 Computer Science, Theory & Methods 1184 16% 0% 61
6 History & Philosophy of Science 122 2% 0% 8
7 Multidisciplinary Sciences 22 2% 0% 6
8 Computer Science, Software Engineering 8 2% 0% 6
9 Computer Science, Information Systems 5 2% 0% 6
10 Mechanics 3 2% 0% 8

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 MATH LOG THEORY ALGORITHMS 175700 2% 25% 9
2 DILEF 78095 0% 100% 1
3 LOG LANGUAGE INFORMAT COMPUTAT ILLC 78095 0% 100% 1
4 MATH EMERITUS 78095 0% 100% 1
5 MATH LOG ALGORITHM THEORY 78095 0% 100% 1
6 PROGRAM PHILISOPHY 78095 0% 100% 1
7 SECT MATH LOG 78095 0% 100% 1
8 PHD PROGRAM COMP SCI 48052 1% 15% 4
9 LOG PHILOSOPHY SCI PHILOSOPHY LANGUAGE 39046 0% 50% 1
10 LOG PROBLEMS COMP SCI 39046 0% 50% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 ANNALS OF PURE AND APPLIED LOGIC 94724 13% 2% 50
2 JOURNAL OF SYMBOLIC LOGIC 62101 12% 2% 48
3 MATHEMATICAL LOGIC QUARTERLY 44879 7% 2% 26
4 LOGIC JOURNAL OF THE IGPL 36487 4% 3% 17
5 JOURNAL OF LOGIC AND COMPUTATION 35984 5% 2% 21
6 ARCHIVE FOR MATHEMATICAL LOGIC 35759 5% 2% 21
7 JOURNAL OF PHILOSOPHICAL LOGIC 28173 5% 2% 18
8 REVIEW OF SYMBOLIC LOGIC 22655 2% 3% 9
9 BULLETIN OF SYMBOLIC LOGIC 15111 2% 3% 7
10 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 12761 2% 2% 9

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 JUSTIFICATION LOGIC 2362360 8% 92% 33 Search JUSTIFICATION+LOGIC Search JUSTIFICATION+LOGIC
2 LOGIC OF PROOFS 2033250 7% 96% 27 Search LOGIC+OF+PROOFS Search LOGIC+OF+PROOFS
3 REALIZATION THEOREM 702853 2% 100% 9 Search REALIZATION+THEOREM Search REALIZATION+THEOREM
4 HEYTING ARITHMETIC 520625 3% 67% 10 Search HEYTING+ARITHMETIC Search HEYTING+ARITHMETIC
5 PROVABILITY LOGIC 437314 4% 40% 14 Search PROVABILITY+LOGIC Search PROVABILITY+LOGIC
6 NEGATIONLESS MATHEMATICS 390474 1% 100% 5 Search NEGATIONLESS+MATHEMATICS Search NEGATIONLESS+MATHEMATICS
7 BASIC PROPOSITIONAL LOGIC 312379 1% 100% 4 Search BASIC+PROPOSITIONAL+LOGIC Search BASIC+PROPOSITIONAL+LOGIC
8 EXPLICIT MODAL LOGIC 249902 1% 80% 4 Search EXPLICIT+MODAL+LOGIC Search EXPLICIT+MODAL+LOGIC
9 KRIPKE MODEL 248654 3% 29% 11 Search KRIPKE+MODEL Search KRIPKE+MODEL
10 PROOF ANALYSIS 244042 1% 63% 5 Search PROOF+ANALYSIS Search PROOF+ANALYSIS

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 GHARI, M , (2017) LABELED SEQUENT CALCULUS FOR JUSTIFICATION LOGICS.ANNALS OF PURE AND APPLIED LOGIC. VOL. 168. ISSUE 1. P. 72 -111 18 100% 0
2 YU, JH , (2017) ON NON-SELF-REFERENTIAL FRAGMENTS OF MODAL LOGICS.ANNALS OF PURE AND APPLIED LOGIC. VOL. 168. ISSUE 4. P. 776 -803 12 100% 0
3 ARTEMOV, SN , (2012) THE ONTOLOGY OF JUSTIFICATIONS IN THE LOGICAL SETTING.STUDIA LOGICA. VOL. 100. ISSUE 1-2. P. 17 -30 12 92% 13
4 ARTEMOV, S , (2008) THE LOGIC OF JUSTIFICATION.REVIEW OF SYMBOLIC LOGIC. VOL. 1. ISSUE 4. P. 477-513 12 92% 46
5 FITTING, M , (2016) MODAL LOGICS, JUSTIFICATION LOGICS, AND REALIZATION.ANNALS OF PURE AND APPLIED LOGIC. VOL. 167. ISSUE 8. P. 615 -648 10 100% 0
6 KRUPSKI, VN , (2011) ON SYMBOLIC MODELS FOR SINGLE-CONCLUSION LOGIC OF PROOFS.SBORNIK MATHEMATICS. VOL. 202. ISSUE 5-6. P. 683 -695 10 100% 0
7 SCHECHTER, LM , (2015) A LOGIC OF PLAUSIBLE JUSTIFICATIONS.THEORETICAL COMPUTER SCIENCE. VOL. 603. ISSUE . P. 132 -145 9 100% 0
8 BALTAG, A , RENNE, B , SMETS, S , (2014) THE LOGIC OF JUSTIFIED BELIEF, EXPLICIT KNOWLEDGE, AND CONCLUSIVE EVIDENCE.ANNALS OF PURE AND APPLIED LOGIC. VOL. 165. ISSUE 1. P. 49 -81 11 79% 3
9 BUSS, SR , KUZNETS, R , (2012) LOWER COMPLEXITY BOUNDS IN JUSTIFICATION LOGIC.ANNALS OF PURE AND APPLIED LOGIC. VOL. 163. ISSUE 7. P. 888-905 10 91% 2
10 KUZNETS, R , STUDER, T , (2016) WEAK ARITHMETICAL INTERPRETATIONS FOR THE LOGIC OF PROOFS.LOGIC JOURNAL OF THE IGPL. VOL. 24. ISSUE 3. P. 424 -440 9 90% 0

Classes with closest relation at Level 1


Rank Class id link
1 12527 ADMISSIBLE RULES//CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC
2 25081 KNOWABILITY PARADOX//PARADOX OF KNOWABILITY//FITCHS PARADOX
3 12559 PROOF THEORETIC SEMANTICS//RELEVANT LOGIC//JOURNAL OF PHILOSOPHICAL LOGIC
4 14361 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
5 9328 LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC
6 9789 EPISTEMIC GAME THEORY//COMMON KNOWLEDGE//RATIONALIZABILITY
7 13423 REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION
8 4886 MV ALGEBRA//BL ALGEBRA//RESIDUATED LATTICE
9 20101 BOREL EQUIVALENCE RELATIONS//BOREL REDUCIBILITY//GRAEV METRIC
10 12316 CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE

Go to start page