{"id":"W2997707599","doi":"10.48550/arxiv.1909.07296","title":"A Substructural Epistemic Resource Logic: Theory and Modelling\\n Applications","year":2019,"lang":"","type":"article","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Soundness; Epistemic modal logic; Completeness (order theory); Modalities; Computer science; Semantics (computer science); Resource (disambiguation); Theoretical computer science; Modal logic; Epistemology; Multimodal logic; Calculus (dental); Programming language; Mathematics; Description logic; Philosophy; Sociology; Medicine; Modal","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00217704,0.000739016,0.000522981,0.001990061,0.001482955,0.00395144,0.002695765,0.001731542,0.00575613],"category_scores_gemma":[0.002878471,0.0005604364,0.001142767,0.002373066,0.004659934,0.007606255,0.003032449,0.00289292,0.00137029],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002590952,"about_ca_system_score_gemma":0.001345567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004806832,"about_ca_topic_score_gemma":0.002848133,"domain_scores_codex":[0.9987657,0.0004820523,0.00009177292,0.0002502911,0.0002990403,0.000111148],"domain_scores_gemma":[0.9989235,0.0005186952,0.0001048569,0.000163503,0.0001788962,0.0001104845],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005659841,0.000005863047,0.0000315749,0.00002542084,0.000002828756,0.00003591589,0.00009551311,0.002413926,0.0003109075,0.9926491,0.0003885199,0.004034649],"study_design_scores_gemma":[0.000009988996,0.00001295163,0.00003757514,0.00003832176,0.00001128953,0.00007076597,0.00006198296,0.05689158,0.0009929497,0.925081,0.01677735,0.00001431525],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005686661,0.0006758363,0.9661297,0.001262317,0.00007491217,0.00005344961,0.0001452755,0.0003306401,0.02564131],"genre_scores_gemma":[0.3920065,0.001817249,0.5824472,0.0007407201,0.0002651609,0.0003477843,0.0003971135,0.0001850176,0.02179338],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00575613,"threshold_uncertainty_score":0.01925623,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04138310706678809,"score_gpt":0.1739822553291686,"score_spread":0.1325991482623805,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}