Class information for:
Level 1: DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
32295 141 20.7 19%


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
32295 1                   DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS 141

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 DEPENDENCE LOGIC authKW 4557261 16% 96% 22
2 INDEPENDENCE FRIENDLY LOGIC authKW 2980329 12% 81% 17
3 TEAM SEMANTICS authKW 1949077 6% 100% 9
4 INDEPENDENCE LOGIC authKW 866257 3% 100% 4
5 HENKIN QUANTIFIERS authKW 708750 4% 55% 6
6 NONDEDUCIBILITY authKW 649692 2% 100% 3
7 PARTIALLY ORDERED CONNECTIVES authKW 649692 2% 100% 3
8 IF LOGIC authKW 495000 3% 57% 4
9 BRANCHING QUANTIFIERS authKW 487268 2% 75% 3
10 FLATTENING OPERATOR authKW 433128 1% 100% 2

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 58494 45% 0% 63
2 Philosophy 9014 40% 0% 56
3 History & Philosophy of Science 2594 15% 0% 21
4 Mathematics 1002 37% 0% 52
5 Language & Linguistics 765 11% 0% 15
6 Linguistics 491 9% 0% 13
7 Computer Science, Theory & Methods 427 16% 0% 22
8 Mathematics, Applied 375 21% 0% 30
9 Computer Science, Artificial Intelligence 89 7% 0% 10
10 Literature 29 2% 0% 3

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 CNRS UNIT SAVOIRS TEXTES LANGAGE 216564 1% 100% 1
2 MATHEMAT JUSSIEUEQUIPE LOG 216564 1% 100% 1
3 DYNAM INTELLIGENT SYST 108281 1% 50% 1
4 MACHINELLE SPRACHVERARBEITUNG 108281 1% 50% 1
5 NAT WETEN PEN WISKUNDE INFORMAT 108279 1% 25% 2
6 LOG LANGUAGE COMPUTAT 82013 7% 4% 10
7 ILLC 50945 4% 4% 6
8 LEADERSHIP AMER STUDIES 43311 1% 20% 1
9 MULTIAGENT SYST 27069 1% 13% 1
10 FNWI 16341 1% 4% 2

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 STUDIA LOGICA 60643 7% 3% 10
2 JOURNAL OF LOGIC LANGUAGE AND INFORMATION 29526 2% 5% 3
3 ANNALS OF PURE AND APPLIED LOGIC 17749 9% 1% 13
4 SYNTHESE 17429 12% 0% 17
5 LINGUISTICS AND PHILOSOPHY 16387 5% 1% 7
6 REVIEW OF SYMBOLIC LOGIC 12412 3% 1% 4
7 JOURNAL OF PHILOSOPHICAL LOGIC 8680 4% 1% 6
8 NOTRE DAME JOURNAL OF FORMAL LOGIC 8253 2% 1% 3
9 JOURNAL OF LOGIC AND COMPUTATION 8143 4% 1% 6
10 JOURNAL OF SYMBOLIC LOGIC 6046 6% 0% 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 DEPENDENCE LOGIC 4557261 16% 96% 22 Search DEPENDENCE+LOGIC Search DEPENDENCE+LOGIC
2 INDEPENDENCE FRIENDLY LOGIC 2980329 12% 81% 17 Search INDEPENDENCE+FRIENDLY+LOGIC Search INDEPENDENCE+FRIENDLY+LOGIC
3 TEAM SEMANTICS 1949077 6% 100% 9 Search TEAM+SEMANTICS Search TEAM+SEMANTICS
4 INDEPENDENCE LOGIC 866257 3% 100% 4 Search INDEPENDENCE+LOGIC Search INDEPENDENCE+LOGIC
5 HENKIN QUANTIFIERS 708750 4% 55% 6 Search HENKIN+QUANTIFIERS Search HENKIN+QUANTIFIERS
6 NONDEDUCIBILITY 649692 2% 100% 3 Search NONDEDUCIBILITY Search NONDEDUCIBILITY
7 PARTIALLY ORDERED CONNECTIVES 649692 2% 100% 3 Search PARTIALLY+ORDERED+CONNECTIVES Search PARTIALLY+ORDERED+CONNECTIVES
8 IF LOGIC 495000 3% 57% 4 Search IF+LOGIC Search IF+LOGIC
9 BRANCHING QUANTIFIERS 487268 2% 75% 3 Search BRANCHING+QUANTIFIERS Search BRANCHING+QUANTIFIERS
10 FLATTENING OPERATOR 433128 1% 100% 2 Search FLATTENING+OPERATOR Search FLATTENING+OPERATOR

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 HANNULA, M , KONTINEN, J , (2015) HIERARCHIES IN INDEPENDENCE AND INCLUSION LOGIC WITH STRICT SEMANTICS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 25. ISSUE 3. P. 879 -897 12 86% 1
2 YANG, F , VAANANEN, J , (2016) PROPOSITIONAL LOGICS OF DEPENDENCE.ANNALS OF PURE AND APPLIED LOGIC. VOL. 167. ISSUE 7. P. 557 -589 8 89% 1
3 TULENHEIMO, T , (2014) CLASSICAL NEGATION AND GAME-THEORETICAL SEMANTICS.NOTRE DAME JOURNAL OF FORMAL LOGIC. VOL. 55. ISSUE 4. P. 469 -498 5 100% 1
4 FIGUEIRA, S , GORIN, D , GRIMSON, R , (2014) INDEPENDENCE FRIENDLY LOGIC WITH CLASSICAL NEGATION VIA FLATTENING IS A SECOND-ORDER LOGIC WITH WEAK DEPENDENCIES.JOURNAL OF COMPUTER AND SYSTEM SCIENCES. VOL. 80. ISSUE 6. P. 1102-1118 5 100% 0
5 BARBERO, F , SANDU, G , (2014) SIGNALLING IN INDEPENDENCE-FRIENDLY LOGIC.LOGIC JOURNAL OF THE IGPL. VOL. 22. ISSUE 4. P. 638 -664 5 100% 0
6 HANNULA, M , KONTINEN, J , (2016) A FINITE AXIOMATIZATION OF CONDITIONAL INDEPENDENCE AND INCLUSION DEPENDENCIES.INFORMATION AND COMPUTATION. VOL. 249. ISSUE . P. 121 -137 8 53% 0
7 HANNULA, M , (2015) AXIOMATIZING FIRST-ORDER CONSEQUENCES IN INDEPENDENCE LOGIC.ANNALS OF PURE AND APPLIED LOGIC. VOL. 166. ISSUE 1. P. 61 -91 5 83% 2
8 KUUSISTO, A , (2015) A DOUBLE TEAM SEMANTICS FOR GENERALIZED QUANTIFIERS.JOURNAL OF LOGIC LANGUAGE AND INFORMATION. VOL. 24. ISSUE 2. P. 149 -191 4 100% 2
9 EBBING, J , KONTINEN, J , MULLER, JS , VOLLMER, H , (2014) A FRAGMENT OF DEPENDENCE LOGIC CAPTURING POLYNOMIAL TIME.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 10. ISSUE 3. P. - 5 83% 0
10 GALLIANI, P , (2015) UPWARDS CLOSED DEPENDENCIES IN TEAM SEMANTICS.INFORMATION AND COMPUTATION. VOL. 245. ISSUE . P. 124 -135 4 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 13494 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
2 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS
3 20500 HISTORY AND PHILOSOPHY OF LOGIC//LOGICAL CONSTANTS//LOGICAL CONSEQUENCE
4 36168 MODAL LOGIC OF SUBSET SPACES//RACAI//TOPOLOGICAL REASONING
5 34553 REFERENTIAL NPS//SEMANTIC AUTOMATA//COLONIAL LANGUAGE POLICY
6 35645 LINGUISTIC UNDERDETERMINACY//ILLOCUTIONARY ACTS//ANALYTICAL PHILOSOPHY OF LANGUAGE
7 6911 FUNCTIONAL DEPENDENCY//SCHEMA MAPPING//ACM TRANSACTIONS ON DATABASE SYSTEMS
8 16816 DEONTIC LOGIC//STIT//ALTERNATING TIME TEMPORAL LOGIC
9 20487 QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING
10 27749 CA MATLEY//LOGIC OF DISCOVERY//ANAU

Go to start page