Pre-supposing?
Pre-supposing?
Pre-supposing?
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