Axiomati-sation Binary operators Computer circuits Elixhauser comorbidity index Finite sequence Knowledge representation Letter Linear inequalities Modal logic Probability Probability theory Qualitative probability Set of events Sound and complete adult cohort analysis electronic medical record female hospital admission hospital personnel human in-hospital mortality intensive care unit male mortality rate patient registry retrospective study risk factor sensitivity analysis