{"id":"W2620945766","doi":"","title":"Proof-search and countermodel generation in propositional BI Logic - extended abstract -","year":2001,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Intuitionistic logic; Intermediate logic; Kripke semantics; Linear logic; Zeroth-order logic; Sequent calculus; Monoid; Autoepistemic logic; Computer science; Well-formed formula; Propositional variable; Semantics (computer science); Interpretation (philosophy); Dynamic logic (digital electronics); Structural proof theory; Kripke structure; Proof theory; Theoretical computer science; Mathematics; Discrete mathematics; Description logic; Programming language; Multimodal logic; Model checking; Mathematical proof","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.004859527,0.0007245892,0.0008205633,0.001573929,0.001721586,0.003868105,0.00229648,0.001441347,0.005451402],"category_scores_gemma":[0.01374884,0.0007914312,0.00185775,0.001753082,0.003220606,0.008426381,0.003806886,0.00285418,0.001046468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002192748,"about_ca_system_score_gemma":0.002444627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004026385,"about_ca_topic_score_gemma":0.003057712,"domain_scores_codex":[0.9958649,0.001478845,0.0002951812,0.0005282678,0.001400329,0.0004324894],"domain_scores_gemma":[0.9903131,0.006748648,0.0005209649,0.00123315,0.0009275727,0.0002566551],"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.0001176067,0.00007145544,0.0006804545,0.0002222811,0.00004144898,0.0002671278,0.0005221083,0.02095842,0.003665427,0.9484383,0.001033218,0.02398205],"study_design_scores_gemma":[0.00005418417,0.00004409016,0.0001203209,0.00005749827,0.00005249802,0.0001860586,0.0001313895,0.2377183,0.01145444,0.7435284,0.006612592,0.00004025661],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03100896,0.0004601036,0.9583657,0.0006734621,0.00006288088,0.0001297328,0.0001585076,0.00120024,0.007940418],"genre_scores_gemma":[0.5082612,0.0004222281,0.482171,0.0004535111,0.00005511211,0.0003015317,0.0005329069,0.0003861102,0.007416418],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005451402,"threshold_uncertainty_score":0.02569991,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06139524417993749,"score_gpt":0.3023926488246079,"score_spread":0.2409974046446704,"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."}}