Thursday, 31 July 2008

A question about modal logic

Do modal logics enjoy a deduction detachment theorem?

My advice: Think really carefully about it and don't ask logicians about this. You're likely to get quite different answers.

No comments:

Post a Comment