Cheap and Secure Web Hosting Provider : See Now

Modal Logic - □ distribution over →

, , No Comments
Problem Detail: 

In the modal logic K does □ distribution over →?

For example, would the following be correct?

□(p → q) ≡ □p → □q
Asked By : Ethan

Answered By : chi

No.

In the modal logic K, the formula □(p → q) implies □p → □q (by the distribution axiom) but it is not equivalent to it.

A possible intuition is as follows. Read □(p → q) as: every time it rains, my umbrella is open. Read □p → □q as: if it rains everyday, my umbrella is open everyday. In those worlds in which it rains sometimes but not always, the first formula implies that my umbrella is open on those days, the latter does not since its premise requires rain on all days.

Best Answer from StackOverflow

Question Source : http://cs.stackexchange.com/questions/63679

3200 people like this

 Download Related Notes/Documents

0 comments:

Post a Comment

Let us know your responses and feedback