{"id":"W2079311564","doi":"10.1016/j.jal.2011.08.003","title":"An analytic tableau calculus for a temporalised belief logic","year":2011,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"Australian Research Council","keywords":"Soundness; Completeness (order theory); Calculus (dental); Proof calculus; Sketch; Modal logic; Computer science; Dynamic logic (digital electronics); Temporal logic; Mathematics; Natural deduction; Algorithm; Theoretical computer science; Programming language; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009195147,0.0001516578,0.0003421094,0.000198325,0.0001087874,0.0000874383,0.0007675958,0.00009669449,0.00004228121],"category_scores_gemma":[0.00002077863,0.0001086111,0.0001462998,0.0002645341,0.00002391283,0.0003976162,0.00004209634,0.0001326479,0.00001996521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006452956,"about_ca_system_score_gemma":0.00008265621,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002544365,"about_ca_topic_score_gemma":0.000007111831,"domain_scores_codex":[0.9985467,0.00004046458,0.0006179757,0.0002358335,0.0002951655,0.000263851],"domain_scores_gemma":[0.998505,0.00004775648,0.0007299407,0.0003551587,0.000188407,0.0001737288],"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.0004099202,0.001387793,0.0008594649,0.0001494227,0.0002136907,0.0001175544,0.005180194,0.002095916,0.04303924,0.9271541,0.004266769,0.01512597],"study_design_scores_gemma":[0.01180278,0.008437376,0.02796831,0.0002175462,0.0004327823,0.0005961715,0.001785962,0.3693463,0.04212005,0.5220146,0.01289337,0.002384754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02620551,0.00009836273,0.9683805,0.0002267187,0.0004718057,0.000414013,0.000002517138,0.00005108254,0.004149453],"genre_scores_gemma":[0.9212613,0.000008329514,0.07800744,0.0004519154,0.0002047696,0.00001177601,0.000001794592,0.000009065316,0.0000436015],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8950558,"threshold_uncertainty_score":0.4429033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07666570988216673,"score_gpt":0.2869100306169845,"score_spread":0.2102443207348178,"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."}}