13.07.2013 Views

Robert C. Stalnaker: Assertion

Robert C. Stalnaker: Assertion

Robert C. Stalnaker: Assertion

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!