necessary also possible almost always held valid interpretation modal operators necessity possibility called alethic modal logic modal logics modes obligatorily permissibly deontic modal logic formulae means p obligatory permissible also almost always held valid first modal axiomatic systems developed c lewis building informal tradition stretching back aristotle relational semantics modal
Humanities Philosophy Logic Mathematical logic Modal logic