PROOF Modal Logic: Philosophy Forums

PROOF Modal Logic

samroberts
Initiate

Usergroup: Members
Joined: Oct 13, 2009

Total Topics: 4
Total Posts: 4

Posted 11/04/09 - 03:14 PM: Subject: PROOF Modal Logic	#1
Prove that the Converse Barcan formula is a theorem of First Order Logic and EM= Necessary(phi) iff not(possible)not(phi) and also the theorem if Necessary(phi and psi) then (necessary(phi) and necessary(psi)) Where the converse Barcan Formula => necessary forallxphix -> forallx necessaryphi(x)

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