{"id":"W1965788386","doi":"","title":"Actions and resources in epistemic logic","year":2006,"lang":"en","type":"dissertation","venue":"ePrints Soton (University of Southampton)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Soundness; Epistemic modal logic; Dynamic logic (digital electronics); Multimodal logic; Proof calculus; Computer science; Sequent; Modal logic; Modal operator; Sequent calculus; Epistemology; Description logic; Calculus (dental); Natural deduction; Mathematics; Theoretical computer science; Programming language; Modal; Mathematical proof; Philosophy; Medicine","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.005103018,0.0008051444,0.0006505849,0.002410372,0.002691273,0.00611658,0.001395851,0.002206029,0.003697119],"category_scores_gemma":[0.005826102,0.0006323921,0.001771361,0.001919813,0.01486574,0.01504396,0.003916258,0.004509998,0.0006942083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004337713,"about_ca_system_score_gemma":0.00235241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003864039,"about_ca_topic_score_gemma":0.001673007,"domain_scores_codex":[0.9955032,0.002070805,0.0003412644,0.0006683405,0.001050488,0.0003658374],"domain_scores_gemma":[0.9952172,0.003241622,0.0002914886,0.0005409577,0.0004811355,0.0002276328],"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.0000035456,0.000003821501,0.00002927562,0.00001637437,0.00000320413,0.00002518076,0.0001677272,0.0006773795,0.00007997707,0.9977344,0.0001683123,0.001090748],"study_design_scores_gemma":[0.000004528973,0.0000043659,0.00001905615,0.00001294025,0.000004796078,0.00001701909,0.00004666434,0.002118625,0.0001111649,0.9940993,0.003556214,0.000005315478],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.03648648,0.006753905,0.8155504,0.01315841,0.0004867521,0.0001223534,0.0003103897,0.0005973112,0.126534],"genre_scores_gemma":[0.7903868,0.004635224,0.1835246,0.002195503,0.001107643,0.0003465825,0.000344341,0.0001605407,0.0172988],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.00611658,"threshold_uncertainty_score":0.03147244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01495325684435209,"score_gpt":0.2180101510714662,"score_spread":0.2030568942271141,"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."}}