{"id":"W1849885691","doi":"10.5555/1220075.1220082","title":"Natural Frames and Self-dual Logics","year":2001,"lang":"en","type":"article","venue":"Deontic Logic in Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Interpretation (philosophy); Dual (grammatical number); Duality (order theory); Class (philosophy); Computer science; Notice; Natural (archaeology); Modal logic; Semantic interpretation; Modal; Theoretical computer science; Artificial intelligence; Algebra over a field; Mathematics; Pure mathematics; Philosophy; Programming language; Linguistics","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.001933277,0.0003528861,0.0003133878,0.001625062,0.001958841,0.003211507,0.0009150686,0.001226708,0.002683418],"category_scores_gemma":[0.001565807,0.0003577174,0.0006829551,0.001024585,0.007805612,0.006921666,0.002567194,0.002587054,0.0002809871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003597193,"about_ca_system_score_gemma":0.001113024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002031849,"about_ca_topic_score_gemma":0.002005439,"domain_scores_codex":[0.9985304,0.0006592864,0.00006024828,0.0002134148,0.0003416551,0.0001950472],"domain_scores_gemma":[0.999033,0.0003717137,0.0001484514,0.0001667407,0.0001533881,0.0001266318],"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.000002394541,0.000003419655,0.00002181443,0.000003260488,8.003418e-7,0.000009273469,0.0001012552,0.0001392914,0.00004595516,0.9988783,0.0001013617,0.0006928126],"study_design_scores_gemma":[0.000004556774,0.000005059687,0.00003426543,0.000007582976,0.000001679602,0.00002445026,0.00009656959,0.001613407,0.0001522927,0.9928421,0.005214748,0.000003204777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1790388,0.006796955,0.4834845,0.01699603,0.0006398726,0.0001053466,0.0001945087,0.0003279746,0.3124161],"genre_scores_gemma":[0.9459842,0.001251042,0.03917155,0.0007048236,0.0003173656,0.00005825038,0.00009200807,0.00003973494,0.012381],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003597193,"threshold_uncertainty_score":0.02609962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01304448418705483,"score_gpt":0.2427163240922049,"score_spread":0.2296718399051501,"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."}}