A logical theory for strong and weak ontic necessities in branching time

Open in new window