{"id":"W2944100452","doi":"10.1016/j.ic.2019.04.002","title":"Expressiveness of probabilistic modal logics: A gradual approach","year":2019,"lang":"en","type":"article","venue":"Information and Computation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; Narodowe Centrum Nauki; Agence Nationale de la Recherche; Alan Turing Institute","keywords":"Bisimulation; Mathematical proof; Probabilistic logic; Characterization (materials science); Computer science; Modal; Theoretical computer science; Modal logic; Mathematics; Discrete mathematics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.009711919,0.00120973,0.001354873,0.00261793,0.002044726,0.006444969,0.006688212,0.00279223,0.004973465],"category_scores_gemma":[0.02703765,0.002416932,0.004455931,0.001799849,0.01076132,0.021112,0.01041698,0.009784448,0.0006342364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002555918,"about_ca_system_score_gemma":0.001361485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00129246,"about_ca_topic_score_gemma":0.00141056,"domain_scores_codex":[0.9924821,0.002481224,0.0005939957,0.001488955,0.002438789,0.0005147841],"domain_scores_gemma":[0.9743817,0.0172309,0.001163973,0.005083516,0.001471655,0.000668171],"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.00001483172,0.00001279818,0.00006762279,0.00005504997,0.00001529426,0.00006459705,0.0002318082,0.00344966,0.0006608007,0.9928341,0.0001344641,0.002458951],"study_design_scores_gemma":[0.00001286828,0.00001636297,0.00004902995,0.00002325332,0.0000244809,0.00006929792,0.00005308433,0.01592566,0.000739245,0.9809625,0.0021078,0.00001628004],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01135003,0.0005633491,0.9722181,0.001777902,0.00006135544,0.00007182187,0.0001599514,0.0002432832,0.01355415],"genre_scores_gemma":[0.5981922,0.001577766,0.3904895,0.0006334907,0.0004240731,0.0003817096,0.0003841275,0.0003122496,0.007604817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009711919,"threshold_uncertainty_score":0.05136216,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02215723380333302,"score_gpt":0.2652920306553465,"score_spread":0.2431347968520134,"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."}}