27.01.2014 Views

Multiagent Systems

Multiagent Systems

Multiagent Systems

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Prof. Dr. Jürgen Dix · Department of Informatics, TUC <strong>Multiagent</strong> <strong>Systems</strong>, WS 06/07 499/731<br />

7. Modal Logic 4. Normative Reasoning<br />

It can be shown that this system can be seen as a<br />

modal logic with O as primitive modality. But<br />

then, because of necessitation, one has to accept<br />

the derivable sentence<br />

(O⊤) O(p ∨ ¬p)<br />

(stating the existence of an empty normative<br />

system): von Wright originally rejected this as an<br />

axiom.

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

Saved successfully!

Ooh no, something went wrong!