Robert C. Stalnaker: Assertion
Robert C. Stalnaker: Assertion
Robert C. Stalnaker: Assertion
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Operator<br />
~<br />
,<br />
†, †<br />
Modal Operators<br />
Name<br />
existential negation<br />
operator<br />
possibility, necessity<br />
dagger, square-dagger<br />
<strong>Robert</strong> C. <strong>Stalnaker</strong>: <strong>Assertion</strong> 14<br />
Type<br />
{T,W} → {T,W}<br />
φ→φ<br />
P → P<br />
Each kind of operator is a generalization of the kind<br />
preceding it.