{"id":"W2144792489","doi":"10.1007/978-3-642-04893-7_21","title":"Dynamic Epistemic Temporal Logic","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Temporal logic; Epistemic modal logic; Dynamic logic (digital electronics); Artificial intelligence; Programming language; Multimodal logic; Description logic; Electrical engineering","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.0007153227,0.0007732302,0.0004415645,0.001106313,0.001186443,0.003454701,0.0008964369,0.001022834,0.01662323],"category_scores_gemma":[0.001643423,0.0004478932,0.0006598586,0.001242562,0.002538158,0.004920731,0.001272188,0.002694229,0.004264232],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002118141,"about_ca_system_score_gemma":0.001077677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001363502,"about_ca_topic_score_gemma":0.001367085,"domain_scores_codex":[0.9995317,0.0001258702,0.00003101265,0.0001123495,0.0001559201,0.00004310073],"domain_scores_gemma":[0.9995666,0.0001987663,0.00002602189,0.00008279144,0.00009517476,0.00003068075],"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.000007581221,0.000006502422,0.0000186057,0.00002890642,0.000002987757,0.00001987954,0.00008815291,0.0004260139,0.000205389,0.9778657,0.006478002,0.01485225],"study_design_scores_gemma":[0.000004130767,0.000003570873,0.00002869673,0.00004114358,0.00000625504,0.00006085163,0.00003172418,0.001727827,0.0003930179,0.9163027,0.0813948,0.000005273987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00312862,0.00783532,0.3238667,0.004251598,0.0008160095,0.00005595743,0.0004475217,0.0006325315,0.6589657],"genre_scores_gemma":[0.4121601,0.01528457,0.1586514,0.002245633,0.001475558,0.0002673943,0.001999843,0.0007055962,0.4072098],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01662323,"threshold_uncertainty_score":0.05561024,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.015262000565846,"score_gpt":0.2464186258876466,"score_spread":0.2311566253218006,"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."}}