A term used to denote either a syntactic consequence relation ($⊢$) or a semantic consequence relation ($\models$), or sometimes the relationship between a world and a formula that holds at it ($⊩$).