Notebooks

• ext_health_guideline_conflicts
• ext_deontic_temporal
• ch6_tableaux
• ch6_health_conflict_detection
• ch5_health_decidability
• ch5_filtrations
• ch4_health_completeness
• ch4_completeness
• ch3_health_deontic_systems
• ch3_axiomatic_derivations
• ch2_health_guideline_properties
• ch2_frame_definability
• ch1_syntax_and_semantics
• ch1_health_clinical_obligations
• ch15_health_epistemic_clinical
• ch15_epistemic_logics
• ch14_temporal_logics
• ch14_health_temporal_clinical
• ch0_propositional_logic
• ch0_health_clinical_rules