Modal Logic Help!!!!: Philosophy Forums

Modal Logic Help!!!!
Any help would be greatly appreciated! Thanks

Modal Logic Help!!!!

samroberts
Initiate

Usergroup: Members
Joined: Oct 13, 2009

Total Topics: 4
Total Posts: 4

Posted 10/21/09 - 07:25 PM: Subject: Modal Logic Help!!!!	#1
Show (by soundness) that Box(True) is not a theorem of M... Show that by Lindembaum's lemma the neighborhood of the canonical models is non-empty. Also show that if the canonical model were supplemented the truth set of Truth would be in the canonical neighborhood. Thanks!

Sorry, you don't have permission to post. Log in, or register if you haven't yet.