27.07.2013 Views

Pre-supposing?

Pre-supposing?

Pre-supposing?

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

• (14) World<br />

⎧<br />

updates<br />

w if w |= φ,<br />

⎪⎨ ⊥ if w|= φ,<br />

w ⊕ φ =<br />

⊥ if w = ⊥,<br />

⎪⎩<br />

See Jaspars 1994<br />

Partiality<br />

the ⊑−smallest w ′ s.t. w ⊑ w ′ and w ′ |= φ otherwise.<br />

38

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

Saved successfully!

Ooh no, something went wrong!