{"id":"W1982395595","doi":"10.1007/s11229-009-9552-6","title":"Dynamic epistemic logic with branching temporal structures","year":2009,"lang":"en","type":"article","venue":"Synthese","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Epistemic modal logic; Dynamic logic (digital electronics); Multimodal logic; Philosophy of language; Extension (predicate logic); Computer science; Epistemology; Philosophy of science; Temporal logic; Modal logic; Doxastic logic; Philosophy of logic; Description logic; Metaphysics; Artificial intelligence; Philosophy; Programming language","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.004134903,0.0009016293,0.0007876468,0.002076716,0.001738623,0.005494535,0.001970032,0.001972618,0.01217518],"category_scores_gemma":[0.01437998,0.000970055,0.001649286,0.002200963,0.00470387,0.01634327,0.004534138,0.004234649,0.001559703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003290353,"about_ca_system_score_gemma":0.00207746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001379412,"about_ca_topic_score_gemma":0.001529178,"domain_scores_codex":[0.9972546,0.0009892507,0.0002592833,0.0005870103,0.0007121155,0.0001977577],"domain_scores_gemma":[0.9920542,0.005570574,0.0004119543,0.001057333,0.0006161998,0.0002898768],"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.00003347489,0.00001830359,0.00006769005,0.00004921683,0.00001046563,0.00007211207,0.0001533081,0.003997623,0.000411895,0.9864094,0.0007802805,0.007996215],"study_design_scores_gemma":[0.00001315145,0.000003910552,0.00001117786,0.00001902797,0.000009293358,0.00003046457,0.00003075412,0.01153175,0.0004989504,0.9848098,0.003035877,0.000005937803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01529182,0.001071406,0.933665,0.002834858,0.0001743861,0.00007292327,0.0003683708,0.0006702701,0.04585096],"genre_scores_gemma":[0.5266724,0.001392629,0.453413,0.0005838285,0.0003101246,0.0001957751,0.001060125,0.0003187444,0.01605342],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01217518,"threshold_uncertainty_score":0.04073,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008880271397147341,"score_gpt":0.2374069864894554,"score_spread":0.2285267150923081,"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."}}