{"meta":{"query_hash":"8547dc033b1c","filters":{"venue":"Journal of Philosophical Logic"},"cohort_total":21,"direct_labels_cover":0,"predictions_cover":21,"exported":21,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/8547dc033b1c","api":"https://metacan.xera.ac/api/v1/cohort?venue=Journal+of+Philosophical+Logic"},"results":[{"id":"W1745228384","doi":"10.1007/s10992-015-9370-x","title":"Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)","year":2015,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Natural deduction; Arrow; Absurdity; Simple (philosophy); Classical logic; Calculus (dental); Propositional calculus; Natural number","score_opus":0.060282583258138275,"score_gpt":0.2709156767648104,"score_spread":0.2106330935066721,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1745228384","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.05072696,0.0038721662,0.6793233,0.0140666785,0.0028626185,0.00010931099,0.00033205462,0.00048059336,0.24822634],"genre_scores_gemma":[0.74834615,0.0017552747,0.20162319,0.0025661767,0.0010596114,0.00014830724,0.0003600913,0.00014873302,0.04399249],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9994516,0.00018983228,0.0000481032,0.00011081217,0.00013810843,0.00006156191],"domain_scores_gemma":[0.99901116,0.00053835346,0.00004226095,0.00013295987,0.00021228922,0.000062908905],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0021507607,0.0003592467,0.00040081277,0.0014891175,0.0017891506,0.0017226344,0.00086239085,0.0015702576,0.0076659475],"category_scores_gemma":[0.004232148,0.00030554636,0.0011997574,0.0008465137,0.0038886375,0.009920135,0.0019381617,0.0028678048,0.0011356923],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00000883426,0.0000075468874,0.000042257987,0.000020869165,0.0000039191586,0.00002980824,0.00011074323,0.000113424365,0.00009167707,0.9930862,0.0014553814,0.0050293184],"study_design_scores_gemma":[0.000006415732,0.0000039322736,0.00004192154,0.000008728091,0.0000042486804,0.000035448258,0.000020316465,0.0006036074,0.00022352386,0.99244905,0.006597386,0.0000054343004],"about_ca_topic_score_codex":0.001594133,"about_ca_topic_score_gemma":0.001818665,"teacher_disagreement_score":0.0076659475,"about_ca_system_score_codex":0.0013137951,"about_ca_system_score_gemma":0.0013049671,"threshold_uncertainty_score":0.025645196},"labels":[],"label_agreement":null},{"id":"W1966325497","doi":"10.1023/a:1026520223346","title":"Remarks on the Modal Logic of Henry Bradford Smith","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Modal logic; Possible world; Modality (human–computer interaction); Modal; Philosophy; Epistemology; S5; Beneficiary; Philosophical logic; Accessibility relation; Computer science; Artificial intelligence; Law; Political science","score_opus":0.03128535650661957,"score_gpt":0.25749640876098606,"score_spread":0.2262110522543665,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1966325497","genre_codex":"commentary","genre_gemma":"commentary","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"commentary","genre_consensus":"commentary","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0026359458,0.032752406,0.009363064,0.76631004,0.020985112,0.000017656099,0.00021176884,0.00015206834,0.16757192],"genre_scores_gemma":[0.16716585,0.033885315,0.0120519465,0.48283604,0.08923145,0.00013409027,0.00016670648,0.0003530284,0.21417561],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9982108,0.0006991516,0.00006556565,0.00030725976,0.00054307206,0.00017418253],"domain_scores_gemma":[0.99456656,0.0038615454,0.00014292257,0.00029999326,0.00084547093,0.000283614],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0046606082,0.0005535513,0.00093389733,0.0013527271,0.0041913814,0.0033847338,0.0015347594,0.0041614296,0.013193214],"category_scores_gemma":[0.011352907,0.00055818114,0.0006465751,0.0011401735,0.008647831,0.00997171,0.0020244238,0.011504288,0.0032858881],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000038457212,0.00001681767,0.00006747333,0.000054615783,0.000011481623,0.000053315867,0.00027248525,0.00019841429,0.00007428525,0.7252501,0.2669158,0.00704654],"study_design_scores_gemma":[0.000031348038,0.0000087360495,0.00020390312,0.00011543815,0.0000111738755,0.000043132957,0.00021869637,0.00020787907,0.00020357563,0.52900463,0.46992147,0.000030040983],"about_ca_topic_score_codex":0.014506006,"about_ca_topic_score_gemma":0.009236943,"teacher_disagreement_score":0.014506006,"about_ca_system_score_codex":0.004611787,"about_ca_system_score_gemma":0.0015512569,"threshold_uncertainty_score":0.04413569},"labels":[],"label_agreement":null},{"id":"W1975161136","doi":"10.1007/s10992-010-9135-5","title":"Anderson and Belnap’s Invitation to Sin","year":2010,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Tautology (logic); Quine; Modal logic; Nominalization; Epistemology; Philosophy; Modal; Normal modal logic; Calculus (dental); Linguistics; Computer science; Mathematics; Multimodal logic; Programming language; Zeroth-order logic; Description logic","score_opus":0.038218935895641605,"score_gpt":0.2806048830763099,"score_spread":0.24238594718066828,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1975161136","genre_codex":"commentary","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.001532518,0.004521829,0.007857326,0.83678275,0.03255394,0.000024859046,0.00020653251,0.0002260326,0.11629416],"genre_scores_gemma":[0.13071544,0.0034281937,0.010683442,0.6092696,0.040718302,0.00027701145,0.00026577152,0.0005322956,0.20411],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9967,0.0012104944,0.00017393216,0.00070420833,0.00089004566,0.00032126738],"domain_scores_gemma":[0.99314415,0.0034835183,0.00028339349,0.00087562815,0.0016844164,0.00052886986],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0043434603,0.0007529387,0.0010862811,0.0011289363,0.005810011,0.0051058386,0.0013502346,0.00980803,0.016713995],"category_scores_gemma":[0.02422381,0.00045417692,0.0010203326,0.0008931056,0.010664564,0.009552156,0.0048190807,0.022694426,0.00925407],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000046342455,0.000027179925,0.00014081254,0.00003242335,0.000013222028,0.00006035101,0.00050430035,0.00007828927,0.0000583907,0.64493906,0.34779343,0.0063062445],"study_design_scores_gemma":[0.000024744515,0.0000066114603,0.000106898195,0.000047868878,0.000008824713,0.00009814631,0.00019328373,0.00021730812,0.00009976111,0.6218815,0.37729537,0.000019714282],"about_ca_topic_score_codex":0.0036612134,"about_ca_topic_score_gemma":0.003922587,"teacher_disagreement_score":0.016713995,"about_ca_system_score_codex":0.0028533428,"about_ca_system_score_gemma":0.0030321635,"threshold_uncertainty_score":0.055913925},"labels":[],"label_agreement":null},{"id":"W1996583871","doi":"10.1007/s10992-011-9170-x","title":"Embedding If and Only If","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"University of Nottingham; University of Leeds","keywords":"Embedding; Interpretation (philosophy); Triviality; Mathematics; Computer science; Artificial intelligence; Pure mathematics; Programming language","score_opus":0.07626222733691729,"score_gpt":0.3348656494363541,"score_spread":0.2586034220994368,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1996583871","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.14127523,0.00085383665,0.32839876,0.012144726,0.0022602174,0.00034186884,0.004780224,0.005760197,0.504185],"genre_scores_gemma":[0.8830219,0.0004377067,0.037191123,0.0020704519,0.0005502867,0.00025048348,0.00386631,0.0009063276,0.071705416],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9976242,0.00044292083,0.00016478183,0.00092243275,0.0003053897,0.0005402112],"domain_scores_gemma":[0.9968548,0.00092406245,0.0002228463,0.0006888531,0.0011016033,0.0002078329],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013550648,0.00061176927,0.00063508685,0.00091736636,0.0016236354,0.0027041812,0.00073285843,0.0013667998,0.036261395],"category_scores_gemma":[0.0046396083,0.0006341197,0.0006942635,0.00057739683,0.0032868048,0.009513082,0.0038877677,0.0024124058,0.008247568],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00012573547,0.00004869733,0.0010831231,0.00018485636,0.000034811044,0.00044970374,0.00085061416,0.00033173105,0.0026624152,0.9514058,0.015996808,0.026825683],"study_design_scores_gemma":[0.000040289407,0.00003117103,0.0014784482,0.0000785403,0.000046367917,0.0010074173,0.0009390045,0.0036563342,0.0050928355,0.91064245,0.07692211,0.0000650314],"about_ca_topic_score_codex":0.0014922027,"about_ca_topic_score_gemma":0.0019548414,"teacher_disagreement_score":0.036261395,"about_ca_system_score_codex":0.0010499336,"about_ca_system_score_gemma":0.0010320654,"threshold_uncertainty_score":0.12130648},"labels":[],"label_agreement":null},{"id":"W2001917952","doi":"10.1007/s10992-007-9062-2","title":"SYNONYMOUS LOGICS: A CORRECTION","year":2007,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Modal; Mathematical economics; Computer science; Accessibility relation; Mathematics; Modal logic; Epistemology; Discrete mathematics; Philosophy","score_opus":0.026437651428603073,"score_gpt":0.2751352111698898,"score_spread":0.24869755974128674,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2001917952","genre_codex":"commentary","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.009528862,0.004827792,0.0696764,0.40954697,0.4065648,0.00011768394,0.0028875857,0.0035625868,0.09328737],"genre_scores_gemma":[0.36317596,0.008215059,0.06622078,0.17974843,0.15009363,0.00034191433,0.0032938814,0.0039383047,0.22497202],"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99129933,0.002164737,0.0011848998,0.0014740587,0.003251788,0.00062523613],"domain_scores_gemma":[0.93943083,0.02441235,0.0019348534,0.009964783,0.022850597,0.0014066721],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0069130342,0.001137119,0.0012310582,0.0067216777,0.0051151416,0.0042370055,0.0033510479,0.004714781,0.037154183],"category_scores_gemma":[0.06932379,0.00077320286,0.0016280969,0.0048996573,0.006074634,0.0076303356,0.004097078,0.010455865,0.011721672],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00016849926,0.00003467853,0.00097550545,0.00026002008,0.000082723345,0.0011644204,0.00077034824,0.00010803737,0.000398748,0.21058892,0.73785216,0.04759602],"study_design_scores_gemma":[0.00015372864,0.000030513676,0.0012212162,0.0003776655,0.00020679033,0.0032038153,0.00067126803,0.0016635597,0.0021867082,0.2148095,0.77537596,0.00009926281],"about_ca_topic_score_codex":0.00396227,"about_ca_topic_score_gemma":0.00501813,"teacher_disagreement_score":0.037154183,"about_ca_system_score_codex":0.0028858837,"about_ca_system_score_gemma":0.0039856625,"threshold_uncertainty_score":0.12429309},"labels":[],"label_agreement":null},{"id":"W2046267553","doi":"10.1007/s10992-013-9280-8","title":"Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Perimeter Institute","funders":"Institut Périmètre de physique théorique; Engineering and Physical Sciences Research Council; University of Oxford","keywords":"Categorical quantum mechanics; Symmetric monoidal category; Mathematics; Compact space; Duality (order theory); Closed monoidal category; Closure (psychology); Pure mathematics; Enriched category; Quantum; Quantum operation; Quantum mechanics; Functor; Open quantum system; Physics","score_opus":0.04564277945081551,"score_gpt":0.29041231432506415,"score_spread":0.24476953487424863,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2046267553","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5102471,0.0020578327,0.44726357,0.0040177805,0.00019809043,0.000111864545,0.00083255593,0.00026636844,0.035004847],"genre_scores_gemma":[0.9611496,0.00051654305,0.03182078,0.0003745017,0.00022807592,0.00014228458,0.00062872854,0.00008495552,0.00505445],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9978942,0.00067161216,0.00023803918,0.00045886688,0.0004382994,0.00029898886],"domain_scores_gemma":[0.99295557,0.0041301097,0.00069176714,0.00084149156,0.00064852956,0.0007324803],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0029465437,0.00079424056,0.0014596962,0.0025735302,0.002940687,0.004431055,0.0014546985,0.0019762404,0.0043648123],"category_scores_gemma":[0.008134237,0.0008660532,0.0022403372,0.002004159,0.007455042,0.013134405,0.0054988884,0.0037889243,0.00038200774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000033835404,0.000016706492,0.00043716838,0.000025130914,0.0000104163,0.000061166356,0.00037146662,0.00045959486,0.0003699602,0.995878,0.00028309,0.002053437],"study_design_scores_gemma":[0.000010733306,0.000014070476,0.00023422186,0.0000053423387,0.000006763365,0.000048249305,0.0001141479,0.0019068635,0.00014407466,0.99685955,0.00064678007,0.000009245711],"about_ca_topic_score_codex":0.0019035682,"about_ca_topic_score_gemma":0.0016169446,"teacher_disagreement_score":0.004431055,"about_ca_system_score_codex":0.0016791759,"about_ca_system_score_gemma":0.0010009435,"threshold_uncertainty_score":0.015582979},"labels":[],"label_agreement":null},{"id":"W2049735587","doi":"10.1023/a:1026564222011","title":"Sets and Classes as Many","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Set (abstract data type); Labelling; Computer science; Set theory; Class (philosophy); Theoretical computer science; Mathematics; Algebra over a field; Discrete mathematics; Artificial intelligence; Pure mathematics; Programming language; Biology","score_opus":0.0239217590449745,"score_gpt":0.28140646454252755,"score_spread":0.25748470549755303,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2049735587","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.05765561,0.024025517,0.2095072,0.03954105,0.004197856,0.00010760484,0.0011712525,0.0007698569,0.66302407],"genre_scores_gemma":[0.82668006,0.0067132246,0.04964854,0.0030345656,0.0029861175,0.00027643173,0.0006645351,0.00025648688,0.10974005],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99787045,0.00074795104,0.00016640825,0.00049740676,0.00054144126,0.00017632222],"domain_scores_gemma":[0.9973139,0.0012044939,0.00019737492,0.0006503079,0.00036319566,0.00027068512],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0017557472,0.0007623342,0.0010844221,0.0032167118,0.0037795387,0.011318817,0.0014672575,0.0017759461,0.020279212],"category_scores_gemma":[0.0050978903,0.0006314718,0.0008700888,0.0035442763,0.010143239,0.02392025,0.0043526134,0.004976276,0.002616384],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000025270829,0.0000019665217,0.000024568717,0.000008128076,0.0000015644305,0.000003246603,0.000110247944,0.00002537391,0.000018733383,0.9975483,0.0006149922,0.0016403389],"study_design_scores_gemma":[0.0000036951128,0.0000020161897,0.000035190667,0.0000070060555,0.00000423071,0.000030084677,0.000098383796,0.00012930862,0.000037725098,0.9848887,0.014761174,0.0000026107139],"about_ca_topic_score_codex":0.00094239146,"about_ca_topic_score_gemma":0.0010136314,"teacher_disagreement_score":0.020279212,"about_ca_system_score_codex":0.0021035362,"about_ca_system_score_gemma":0.0007696691,"threshold_uncertainty_score":0.067840695},"labels":[],"label_agreement":null},{"id":"W2082167645","doi":"10.1007/s10992-008-9086-2","title":"Iterated Belief Change and the Recovery Axiom","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Kensington Health","funders":"Australian Research Council; National ICT Australia; New South Wales Government; Australian Government; University of Sydney; Australian National University","keywords":"Axiom; Iterated function; Axiom of choice; Mathematical economics; Counterexample; Mathematics; Representation theorem; Peano axioms; Computer science; Discrete mathematics; Set (abstract data type); Set theory; Programming language","score_opus":0.07301883437600006,"score_gpt":0.25120086866369545,"score_spread":0.1781820342876954,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2082167645","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07109718,0.0017958906,0.7716686,0.027918657,0.0005026668,0.00020661142,0.00045389254,0.0005850142,0.12577152],"genre_scores_gemma":[0.86809105,0.00067437405,0.113020174,0.0021899077,0.000464724,0.000263286,0.0002882759,0.00013980613,0.014868311],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99330115,0.0026014003,0.00046765647,0.0014027875,0.0015360678,0.0006910839],"domain_scores_gemma":[0.95865214,0.029312251,0.0016700343,0.0062335655,0.0033581224,0.0007739862],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009117135,0.00054019847,0.0012991311,0.001333742,0.0027182435,0.0037100173,0.00290591,0.0045879297,0.010000613],"category_scores_gemma":[0.0434442,0.0010274017,0.002455991,0.0010473616,0.010742229,0.015293237,0.0047226483,0.01025344,0.0010170295],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000042600048,0.000021920072,0.00018824887,0.00003729865,0.00002167658,0.000100446414,0.0002620685,0.0008194699,0.00018492356,0.99288225,0.00084861054,0.004590456],"study_design_scores_gemma":[0.000028601786,0.000009308658,0.00012071329,0.000010637778,0.000014475244,0.00009584717,0.000038940558,0.004348282,0.00020646362,0.9938929,0.0012235872,0.00001023275],"about_ca_topic_score_codex":0.0041306834,"about_ca_topic_score_gemma":0.0027498377,"teacher_disagreement_score":0.010000613,"about_ca_system_score_codex":0.0025478422,"about_ca_system_score_gemma":0.0019126039,"threshold_uncertainty_score":0.04821664},"labels":[],"label_agreement":null},{"id":"W2095033023","doi":"10.1007/s10992-014-9314-x","title":"What Should I Believe About What Would Have Been the Case?","year":2014,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and History of Science","field":"Arts and Humanities","cited_by":10,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Counterfactual conditional; Metaphysics; Epistemology; Probabilistic logic; Section (typography); Mathematical economics; Econometrics; Counterfactual thinking; Computer science; Philosophy; Mathematics","score_opus":0.12059264408398286,"score_gpt":0.28693561808935014,"score_spread":0.1663429740053673,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2095033023","genre_codex":"commentary","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00361245,0.0029199142,0.0025633508,0.9616367,0.006399771,0.000013103854,0.00006393711,0.000031291303,0.022759484],"genre_scores_gemma":[0.31674471,0.0049062097,0.0072037936,0.6392558,0.007379414,0.00014068194,0.00009488119,0.00019056532,0.02408385],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9915154,0.004328327,0.00029689693,0.0012419361,0.0014162603,0.0012011525],"domain_scores_gemma":[0.9794841,0.008169481,0.0020436414,0.0016894301,0.005591328,0.0030221026],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.018363638,0.0005754456,0.001092421,0.00095450523,0.008190977,0.012522866,0.002571016,0.014742715,0.011620746],"category_scores_gemma":[0.065410055,0.00056566886,0.00089046307,0.000773155,0.0287945,0.016749218,0.003305335,0.02563142,0.0048036873],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00019383455,0.00007531456,0.0028084626,0.00030695487,0.00012598015,0.0010208808,0.01381844,0.0001639183,0.00039035562,0.81526625,0.15295203,0.012877652],"study_design_scores_gemma":[0.0001152213,0.00007713065,0.0012505169,0.001285348,0.000099918965,0.00083970145,0.020619592,0.00045253758,0.0007694555,0.6586127,0.31572914,0.00014877209],"about_ca_topic_score_codex":0.0054456606,"about_ca_topic_score_gemma":0.0061312164,"teacher_disagreement_score":0.018363638,"about_ca_system_score_codex":0.0048740786,"about_ca_system_score_gemma":0.0045435573,"threshold_uncertainty_score":0.097117364},"labels":[],"label_agreement":null},{"id":"W2100260968","doi":"10.1007/s10992-007-9071-1","title":"SUPERVALUATION FIXED-POINT LOGICS OF TRUTH","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Epistemology; Mathematical economics; Calculus (dental); Philosophy","score_opus":0.07778070247620184,"score_gpt":0.28006082350439854,"score_spread":0.2022801210281967,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2100260968","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.056865282,0.0020852436,0.8482247,0.0046064444,0.0003610576,0.00011417419,0.00049115584,0.00076681183,0.08648512],"genre_scores_gemma":[0.8756692,0.0008470444,0.106933355,0.0009357467,0.00060443435,0.00014765258,0.0004474683,0.00024210181,0.01417302],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9973992,0.000951639,0.00023096353,0.0006192876,0.0005664803,0.0002323866],"domain_scores_gemma":[0.9927487,0.004312138,0.00030946813,0.0012615335,0.0009880236,0.0003801687],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0051382286,0.00089376705,0.0015349962,0.0030054117,0.0022039204,0.0059287054,0.0029823738,0.0020483336,0.010206712],"category_scores_gemma":[0.009597252,0.001197043,0.00224109,0.0025191861,0.00805521,0.01915698,0.0039699385,0.006681528,0.0011677948],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000013133432,0.000005020168,0.00003666641,0.000013651634,0.000006004585,0.000011788214,0.00009187918,0.00019272987,0.000083133156,0.9979073,0.00018885153,0.0014498715],"study_design_scores_gemma":[0.000008063742,0.000003818455,0.00001744147,0.000004754669,0.0000072479306,0.000014285074,0.000020182932,0.0011344756,0.000119627766,0.99797887,0.0006867018,0.0000045215297],"about_ca_topic_score_codex":0.0014001143,"about_ca_topic_score_gemma":0.0012571382,"teacher_disagreement_score":0.010206712,"about_ca_system_score_codex":0.0033300505,"about_ca_system_score_gemma":0.00090721773,"threshold_uncertainty_score":0.03414482},"labels":[],"label_agreement":null},{"id":"W2120747446","doi":"10.1007/s10992-011-9191-5","title":"On the Ternary Relation and Conditionality","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":121,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Conditionality; Relation (database); Ternary operation; Semantics (computer science); Mathematical economics; Epistemology; Binary relation; Mathematics; Computer science; Discrete mathematics; Philosophy; Political science; Law; Data mining; Programming language","score_opus":0.07743447063397903,"score_gpt":0.2576858007410835,"score_spread":0.18025133010710448,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2120747446","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07403204,0.018820994,0.58537644,0.02952632,0.002938151,0.00010257267,0.00075723825,0.0005249074,0.28792146],"genre_scores_gemma":[0.8850567,0.008114372,0.07981849,0.003921305,0.004355655,0.00020309673,0.00059002556,0.00037125422,0.01756911],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99671704,0.001377205,0.00024857695,0.00063802314,0.00061368797,0.0004054505],"domain_scores_gemma":[0.97899663,0.017236542,0.0005983312,0.001432915,0.0012861501,0.00044942708],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0063825757,0.00091394025,0.0014489132,0.0031627784,0.0038757296,0.0055881413,0.0017887233,0.002791884,0.011979636],"category_scores_gemma":[0.021966584,0.0011459772,0.0021681087,0.003383764,0.015680516,0.026004799,0.004879706,0.0076683997,0.0013153439],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00001184723,0.0000040644077,0.000046701367,0.000013770407,0.0000026988557,0.000020924821,0.000090951806,0.00020624266,0.00005084065,0.9972646,0.00064250466,0.0016448713],"study_design_scores_gemma":[0.000004991715,0.000002500044,0.00003183294,0.000010875138,0.0000045626484,0.00002168759,0.000015766687,0.00060360425,0.00005489664,0.9974572,0.0017859474,0.0000061678497],"about_ca_topic_score_codex":0.003917318,"about_ca_topic_score_gemma":0.002452308,"teacher_disagreement_score":0.011979636,"about_ca_system_score_codex":0.0027245565,"about_ca_system_score_gemma":0.0015719555,"threshold_uncertainty_score":0.0400759},"labels":[],"label_agreement":null},{"id":"W2158711753","doi":"10.1007/s10992-013-9269-3","title":"A Closer Look at Manifest Consequence","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Relation (database); GRASP; Epistemology; Class (philosophy); Identity (music); Domain (mathematical analysis); Semantics (computer science); Field (mathematics); Computer science; Mathematics; Philosophy; Pure mathematics; Programming language; Aesthetics","score_opus":0.042784166417310476,"score_gpt":0.31035255211793883,"score_spread":0.26756838570062835,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2158711753","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.04056015,0.0067181415,0.1862088,0.08673327,0.002509015,0.000057961297,0.00028998993,0.00034400244,0.67657864],"genre_scores_gemma":[0.8729774,0.0032197624,0.022828948,0.011182375,0.0028002928,0.00012343799,0.00021367056,0.0005472377,0.08610685],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9975133,0.00094363466,0.00011181849,0.0003762339,0.00069229706,0.0003627353],"domain_scores_gemma":[0.9950023,0.0028658179,0.00018386995,0.001046371,0.00064785586,0.00025371753],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003071076,0.0004968364,0.001448445,0.0026467284,0.004480738,0.007257196,0.0015817914,0.00413114,0.028103063],"category_scores_gemma":[0.007746772,0.00050986337,0.0013195963,0.002391259,0.0150880255,0.028344098,0.004134072,0.011047174,0.0017221262],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000005094998,0.000004904571,0.000021741736,0.000005671336,0.0000013917902,0.000016762255,0.0001433468,0.000024836307,0.000044374465,0.9982134,0.00071481284,0.00080362393],"study_design_scores_gemma":[0.0000064204773,0.000007113574,0.00006793859,0.000008789773,0.000002463222,0.000037325713,0.0001260043,0.00014997614,0.00004386177,0.993489,0.0060575623,0.0000036427296],"about_ca_topic_score_codex":0.0022930019,"about_ca_topic_score_gemma":0.0019567357,"teacher_disagreement_score":0.028103063,"about_ca_system_score_codex":0.0032129989,"about_ca_system_score_gemma":0.0012905151,"threshold_uncertainty_score":0.09401411},"labels":[],"label_agreement":null},{"id":"W3207154427","doi":"10.1007/s10992-021-09637-1","title":"Neighbourhood Semantics for Quantified Relevant Logics","year":2021,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"Grantová Agentura České Republiky","keywords":"Kripke semantics; T-norm fuzzy logics; Computer science; Semantics (computer science); Algebraic semantics; Mathematics; Calculus (dental); Algebra over a field; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Programming language; Intermediate logic; Medicine","score_opus":0.052837766866093976,"score_gpt":0.29403859866754606,"score_spread":0.24120083180145208,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3207154427","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.046200305,0.0016140033,0.9040664,0.0025209016,0.000331774,0.00015461433,0.00060469395,0.0008261789,0.043681104],"genre_scores_gemma":[0.76916873,0.0012825236,0.21093412,0.0006809389,0.00048308252,0.00030323275,0.0010556878,0.0003425114,0.01574914],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9967463,0.0011211245,0.0003599492,0.0005920779,0.0009083633,0.00027214136],"domain_scores_gemma":[0.9948237,0.0028318851,0.00031736985,0.00074716506,0.0008323742,0.0004474561],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0036736485,0.0006709926,0.0013590377,0.0033845776,0.0029586835,0.006422288,0.0023273483,0.0018507096,0.006064439],"category_scores_gemma":[0.009092256,0.00087284896,0.0023705324,0.0025724398,0.00414301,0.016219458,0.0047526304,0.0037226104,0.0007910195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00002573662,0.000015768712,0.00005949682,0.0000432114,0.000009691557,0.00003438066,0.00016587907,0.0008856457,0.00021082575,0.9946897,0.0004356136,0.0034240424],"study_design_scores_gemma":[0.000010237526,0.0000049312716,0.00002442236,0.000012220377,0.0000107904625,0.000020739919,0.000047118807,0.004079884,0.00015814246,0.9936743,0.0019494187,0.000007763515],"about_ca_topic_score_codex":0.002125297,"about_ca_topic_score_gemma":0.0024705764,"teacher_disagreement_score":0.006422288,"about_ca_system_score_codex":0.0027290871,"about_ca_system_score_gemma":0.0013439052,"threshold_uncertainty_score":0.020287573},"labels":[],"label_agreement":null},{"id":"W4206046586","doi":"10.1007/s10992-014-9330-x","title":"Guest Editors’ Introduction","year":2014,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science","score_opus":0.017172200330879486,"score_gpt":0.24629256994569004,"score_spread":0.22912036961481055,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4206046586","genre_codex":"editorial","genre_gemma":"editorial","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"editorial","genre_consensus":"editorial","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.000171268,0.0059548025,0.0005843303,0.03705388,0.9303817,0.00003360107,0.00022531484,0.00020127888,0.025393905],"genre_scores_gemma":[0.0037121784,0.006757002,0.00068462425,0.024970993,0.72640747,0.000088570305,0.0003177556,0.0003364954,0.23672487],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99727196,0.0003094586,0.0002461135,0.0005523095,0.0012390617,0.0003811997],"domain_scores_gemma":[0.985036,0.0023562578,0.0009298876,0.00091784843,0.0069689876,0.0037910584],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003786427,0.0012805212,0.0011118974,0.0028377036,0.0018334787,0.0073236316,0.0020237407,0.0043950854,0.15647644],"category_scores_gemma":[0.02106377,0.0005330304,0.0009938253,0.0012068178,0.0010471117,0.00352095,0.0025424566,0.0067948666,0.090312585],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000022460106,0.000009928134,0.00004661007,0.00011778404,0.000004182287,0.00004036747,0.000017004688,0.000024342042,0.0000938136,0.0018447582,0.9803561,0.017422525],"study_design_scores_gemma":[0.000010893677,0.0000147256,0.00014230741,0.000096998956,0.0000056544923,0.00008049684,0.000019807128,0.000040167375,0.000099590274,0.0011815027,0.9983012,0.0000066483394],"about_ca_topic_score_codex":0.00056638586,"about_ca_topic_score_gemma":0.0012687716,"teacher_disagreement_score":0.15647644,"about_ca_system_score_codex":0.0014725042,"about_ca_system_score_gemma":0.0022674957,"threshold_uncertainty_score":0.5234659},"labels":[],"label_agreement":null},{"id":"W4244929417","doi":"10.1023/a:1024248828122","title":"Synonymous Logics","year":2003,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto; University of Alberta","funders":"","keywords":"Axiom; Equivalence (formal languages); Accessibility relation; Logical equivalence; Modal logic; Simple (philosophy); Mathematics; Logical consequence; Relation (database); Equivalence relation; Classical logic; Modal; Translation (biology); Axiomatic system; Mathematical economics; Computer science; Epistemology; Discrete mathematics; Artificial intelligence; Philosophy","score_opus":0.03407663729605738,"score_gpt":0.26282667466863896,"score_spread":0.2287500373725816,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4244929417","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.013421227,0.0063407533,0.2851281,0.011659688,0.001946233,0.00013644817,0.0022402469,0.0014506081,0.6776768],"genre_scores_gemma":[0.62867147,0.006343981,0.15083058,0.006673556,0.0026091759,0.00034929402,0.0061773886,0.0011530095,0.19719157],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99785644,0.0006683678,0.00020233325,0.0006108583,0.00046608757,0.00019587111],"domain_scores_gemma":[0.997586,0.00089186546,0.00013086434,0.0005905821,0.0006010587,0.000199748],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015953676,0.00083814474,0.0010267978,0.0032849247,0.004702403,0.007822395,0.0014935782,0.0020024306,0.043638635],"category_scores_gemma":[0.005643294,0.0008652156,0.0011764169,0.0033599476,0.005033054,0.01547178,0.0041550756,0.0043376633,0.008960306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000014456309,0.000007572531,0.000065339744,0.000023211887,0.000004462534,0.000022169414,0.00014678594,0.000042874068,0.00008535143,0.985872,0.005880967,0.007834924],"study_design_scores_gemma":[0.000012038062,0.0000039982956,0.000053096443,0.00002314057,0.000010363485,0.00012415188,0.000121755686,0.0004585785,0.00022123982,0.94389284,0.05507161,0.000007158149],"about_ca_topic_score_codex":0.0013323633,"about_ca_topic_score_gemma":0.0014469196,"teacher_disagreement_score":0.043638635,"about_ca_system_score_codex":0.001988007,"about_ca_system_score_gemma":0.0013751809,"threshold_uncertainty_score":0.14598584},"labels":[],"label_agreement":null},{"id":"W4324152536","doi":"10.1007/s10992-022-09696-y","title":"Varieties of Self-Reference in Metamathematics","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Azrieli Foundation; Leverhulme Trust","keywords":"Diagonal; Computer science; Coding (social sciences); Sentence; Operator (biology); Accidental; Mathematics; Algebra over a field; Pure mathematics; Artificial intelligence; Physics; Geometry","score_opus":0.061611550115633636,"score_gpt":0.2971888337484152,"score_spread":0.23557728363278158,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4324152536","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.71855915,0.00071772694,0.14904627,0.0023518563,0.00017244832,0.000045184865,0.00025648208,0.0004941634,0.12835683],"genre_scores_gemma":[0.99275655,0.000068123736,0.005406487,0.00011110701,0.000036832906,0.000014613553,0.000051790674,0.00003114548,0.0015234681],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9979851,0.00083121844,0.000162184,0.0003677982,0.00041998026,0.00023370718],"domain_scores_gemma":[0.9966137,0.0015259328,0.00024928732,0.00086400163,0.00055933034,0.0001877453],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0028889643,0.00021287517,0.00049022073,0.001386293,0.0016074773,0.0032346023,0.00064434786,0.00088462455,0.0029491533],"category_scores_gemma":[0.0040028687,0.00033201184,0.0005840242,0.0007579991,0.007199979,0.0059829615,0.0028929862,0.0014908868,0.0002484946],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000010047475,0.0000035370404,0.0001568131,0.000009769249,0.0000025958714,0.000041678013,0.00033193597,0.000107462714,0.0005121218,0.99790335,0.00011377906,0.0008069083],"study_design_scores_gemma":[0.00001511897,0.000015201842,0.0003708936,0.000012169723,0.0000071119466,0.00011487496,0.000421391,0.0018579856,0.001269719,0.9927059,0.0031978898,0.000011816874],"about_ca_topic_score_codex":0.00051158987,"about_ca_topic_score_gemma":0.00051799923,"teacher_disagreement_score":0.0032346023,"about_ca_system_score_codex":0.0011300391,"about_ca_system_score_gemma":0.00043708933,"threshold_uncertainty_score":0.015278459},"labels":[],"label_agreement":null},{"id":"W4327544648","doi":"10.1007/s10992-022-09690-4","title":"Modus Ponens and the Logic of Decision","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Modus ponens; Counterexample; Normative; Prima facie; Epistemology; Non-classical logic; Argument (complex analysis); Assertion; Negation; Logical consequence; Logical equivalence; Incompatibilism; Mathematics; Spurious relationship; Rule of inference; Philosophy; Equivalence (formal languages); Computer science; Inference; Linguistics; Discrete mathematics; Determinism","score_opus":0.05439717415429019,"score_gpt":0.3448644979927846,"score_spread":0.29046732383849444,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4327544648","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.13028102,0.013850647,0.32971534,0.10564192,0.0018794135,0.00011719922,0.00044240456,0.0003737731,0.4176983],"genre_scores_gemma":[0.96622866,0.0016369876,0.019231273,0.0018793434,0.0008336201,0.00009458038,0.000073369236,0.000057763307,0.009964369],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9960979,0.0020254003,0.00017617493,0.0005638708,0.0007267573,0.0004097901],"domain_scores_gemma":[0.99148715,0.0068429303,0.00037823367,0.0005266865,0.00048426885,0.0002807816],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0076167285,0.00066692184,0.001312502,0.0020002935,0.0029439211,0.006627647,0.0018443359,0.0029481999,0.005876666],"category_scores_gemma":[0.01347895,0.0008231335,0.0014477533,0.0014172082,0.017772663,0.00947545,0.0025533752,0.0054255743,0.0006382327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000009183242,0.000003860746,0.000032128683,0.000006067507,0.00000449452,0.000013749769,0.000048764556,0.00034772107,0.000013719276,0.9984725,0.00028608143,0.0007616948],"study_design_scores_gemma":[0.0000061495834,0.0000012258907,0.000011844682,0.000002347206,0.0000012314458,0.0000049128353,0.0000072476387,0.0005407725,0.000012209175,0.9988432,0.0005672328,0.0000016203949],"about_ca_topic_score_codex":0.0033843429,"about_ca_topic_score_gemma":0.002323513,"teacher_disagreement_score":0.0076167285,"about_ca_system_score_codex":0.005147683,"about_ca_system_score_gemma":0.0035881347,"threshold_uncertainty_score":0.040281594},"labels":[],"label_agreement":null},{"id":"W4385469305","doi":"10.1007/s10992-023-09717-4","title":"Quantum Epistemology and Constructivism","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"National Center of Competence in Research Quantum Science and Technology; Social Sciences and Humanities Research Council; Foundational Questions Institute","keywords":"Constructivism (international relations); Epistemology; Formal epistemology; Inference; Philosophy; Mathematics; Social epistemology","score_opus":0.0348466878439347,"score_gpt":0.2885277078438908,"score_spread":0.2536810199999561,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4385469305","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0705015,0.026440678,0.35535198,0.110730514,0.0027340534,0.00013626085,0.0005467932,0.00030995352,0.43324828],"genre_scores_gemma":[0.9530756,0.0038211357,0.027569842,0.0024897172,0.001745656,0.00023577755,0.00015292481,0.00011658997,0.010792769],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9950597,0.003010305,0.00027868146,0.000509597,0.0008154046,0.00032634026],"domain_scores_gemma":[0.9861326,0.010369903,0.00060290296,0.0012963561,0.0011608376,0.00043733764],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007579217,0.0007423975,0.0016458177,0.0042729327,0.005702781,0.01075598,0.0019507302,0.0043155793,0.006941691],"category_scores_gemma":[0.011313604,0.0010193707,0.0014156922,0.0030485508,0.047494337,0.02287453,0.0058041,0.0079443315,0.00062699325],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000016254237,0.0000035497915,0.00001852104,0.000008550987,0.000002161387,0.000003853835,0.0001350158,0.000037284695,0.000007178014,0.9993274,0.00015727576,0.00029760887],"study_design_scores_gemma":[0.0000028772258,9.27818e-7,0.000012422038,0.0000054223733,0.0000011873562,0.0000043996893,0.00004846363,0.000107564745,0.000009863041,0.9988927,0.0009125925,0.0000015544474],"about_ca_topic_score_codex":0.0026928945,"about_ca_topic_score_gemma":0.0017386557,"teacher_disagreement_score":0.01075598,"about_ca_system_score_codex":0.0060286997,"about_ca_system_score_gemma":0.0030590598,"threshold_uncertainty_score":0.043741465},"labels":[],"label_agreement":null},{"id":"W4390087301","doi":"10.1007/s10992-023-09729-0","title":"Tarski’s Theory of the Formal Correctness of Definitions","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Calculus (dental); Epistemology; Mathematics; Programming language; Philosophy; Medicine","score_opus":0.11485618831360535,"score_gpt":0.3258815039496001,"score_spread":0.21102531563599475,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4390087301","genre_codex":"methods","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.010131595,0.004873658,0.83837587,0.018227959,0.0027348066,0.00016432501,0.0007984737,0.00058714807,0.12410619],"genre_scores_gemma":[0.64487547,0.00357245,0.31350893,0.00646538,0.0023209911,0.000520005,0.00097299565,0.0004988876,0.027264822],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9917333,0.003435126,0.0011113205,0.0013626972,0.0018310104,0.00052650337],"domain_scores_gemma":[0.9838741,0.010352914,0.00046111108,0.0022542607,0.002855858,0.00020184604],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009647998,0.0011556653,0.0017250058,0.003852956,0.0035779625,0.0070913406,0.0027616012,0.0039476072,0.009065021],"category_scores_gemma":[0.027516985,0.0018287253,0.004141716,0.0027874229,0.01842935,0.02377109,0.004327245,0.009050195,0.0019764502],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000008451231,0.000004186233,0.000026711514,0.000033986205,0.0000082413235,0.000011460575,0.00012804738,0.0002460819,0.0000514874,0.99705064,0.00096144126,0.0014692883],"study_design_scores_gemma":[0.000013866466,0.0000047470958,0.000023782133,0.00001579326,0.00000882637,0.000020803192,0.00002029911,0.0007631402,0.00017423018,0.9918509,0.0070956307,0.000007984255],"about_ca_topic_score_codex":0.0033491866,"about_ca_topic_score_gemma":0.0020110444,"teacher_disagreement_score":0.009647998,"about_ca_system_score_codex":0.00450811,"about_ca_system_score_gemma":0.0033193787,"threshold_uncertainty_score":0.05102408},"labels":[],"label_agreement":null},{"id":"W4410015847","doi":"10.1007/s10992-025-09796-5","title":"Logical Rationalism","year":2025,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Epistemology; Non-classical logic; Logical consequence; Philosophy; Computer science; Mathematics","score_opus":0.04442947032869038,"score_gpt":0.36302847081372147,"score_spread":0.3185990004850311,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4410015847","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.022515574,0.0068864515,0.21477224,0.09631002,0.00139243,0.00018288473,0.00029301894,0.00033760708,0.65730983],"genre_scores_gemma":[0.92274874,0.0027231807,0.037044086,0.00918443,0.0018684305,0.00027378753,0.0002412034,0.00018621981,0.025729803],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99111664,0.0045322147,0.00042277228,0.0011721549,0.0021582071,0.0005979558],"domain_scores_gemma":[0.9877396,0.007265628,0.0006873764,0.0014784554,0.002251319,0.0005775555],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.010027444,0.0005682384,0.00085150066,0.0020688677,0.0028353245,0.006370648,0.001467013,0.0032173558,0.0071392995],"category_scores_gemma":[0.013876935,0.00041734581,0.0010415855,0.0010124621,0.033081006,0.007892604,0.0037451305,0.0060687,0.0015216034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000003855977,0.0000041986245,0.000039498085,0.000015753578,0.000004032679,0.000014345997,0.00017066256,0.00015573214,0.000029211013,0.99779284,0.0008931642,0.000876674],"study_design_scores_gemma":[0.0000054279412,0.0000023509856,0.000023963501,0.000015490232,0.0000023435762,0.000010163704,0.000041743337,0.00032338485,0.000035511403,0.99388134,0.005655986,0.0000022084666],"about_ca_topic_score_codex":0.0020967098,"about_ca_topic_score_gemma":0.001024464,"teacher_disagreement_score":0.010027444,"about_ca_system_score_codex":0.006979149,"about_ca_system_score_gemma":0.0034195534,"threshold_uncertainty_score":0.05303079},"labels":[],"label_agreement":null},{"id":"W4410480514","doi":"10.1007/s10992-025-09798-3","title":"Mīmāṃsā on ‘better-not’ Permissions","year":2025,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Indian and Buddhist Studies","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"Social Sciences and Humanities Research Council; Social Sciences and Humanities Research Council of Canada; Austrian Science Fund; European Commission","keywords":"Computer science; Mathematics; Art","score_opus":0.07313588520802602,"score_gpt":0.29107937314107385,"score_spread":0.21794348793304782,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4410480514","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.10830271,0.002816841,0.33725902,0.024402313,0.0015856242,0.00018013781,0.00029344458,0.00084734574,0.52431256],"genre_scores_gemma":[0.94515437,0.0005174453,0.030518679,0.0020999392,0.0003807428,0.000090818336,0.000054235792,0.00010037557,0.021083487],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99555135,0.0019806908,0.00027232472,0.0008428426,0.0010355124,0.0003173368],"domain_scores_gemma":[0.99585694,0.0021346693,0.00027246054,0.00070396735,0.0007869687,0.00024501779],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0052942378,0.0004044732,0.0006478062,0.001351895,0.0029865822,0.0037351258,0.0011384863,0.0022250165,0.007276074],"category_scores_gemma":[0.0061337855,0.00040041693,0.00095738325,0.00089453,0.015126998,0.010174185,0.0047075767,0.0037779557,0.0011594804],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000059617646,0.0000026683495,0.000035154946,0.000011875724,0.0000012616283,0.00003475658,0.00028891716,0.00009587534,0.00010171597,0.99787915,0.0002883468,0.001254439],"study_design_scores_gemma":[0.000012728039,0.000023217279,0.00014516836,0.00004330648,0.000009929865,0.00018595332,0.00038722748,0.0029104545,0.0006131625,0.96301645,0.032633252,0.000019065039],"about_ca_topic_score_codex":0.002605105,"about_ca_topic_score_gemma":0.002950149,"teacher_disagreement_score":0.007276074,"about_ca_system_score_codex":0.0032315413,"about_ca_system_score_gemma":0.002037534,"threshold_uncertainty_score":0.027998924},"labels":[],"label_agreement":null}]}