computation possible computer state p true ''p'' means future times computation p true another version ''p'' means immediate next state computation ''p'' might true ''p'' means immediate next state computation p true differ choice accessibility relation p always means p true current computer state two examples involve nondeterministic fully understood computations many modal logics specialized different types program analysis
Humanities Philosophy Logic Mathematical logic Modal logic