1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
John Rushby
Modal logics allow reasoning about various modes of truth: for example, what it means for something to be possibly true, or to know that something is true as opposed to merely beli…