Stanford Encyclopedia of Philosophy

Supplement to Actualism

Proof of CBF in S5

LaTeX image of the Proof

Return to Section 2 of Actualism
Return to Section 3 of Actualism
Return to Supplement on Prior's Modal Logic