Working Mathematician's Blog
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
‹
›
Home
View web version
No comments:
Post a Comment