relation reflexive math mathfrak w models p rightarrow diamond p math math w g math regardless valuation function used reason modal logicians sometimes talk ''frames'' portion relational model excluding valuation function ' 'relational frame'' pair math mathfrak langle g r rangle math math g math set possible worlds math r math binary relation math g math different systems modal logic defined using ''frame conditions'' frame called '' 'reflexive'''
Humanities Philosophy Logic Mathematical logic Modal logic