Logic
Are logical laws such as the de Morgan's ones preserved under modalisations? For example, what are the truth conditions for the following sentences:
Peter knows that Mary does not invite Paul and Peter.
Peter knows that it is possible that Mary does not invite Paul and Peter.
Accepted:September 3, 2009
Accepted:
September 3, 2009