Here’s a research project for you. Look at the physical interpretation of intuitionistic logic in the Markopoulou and Bell papers I mentioned yesterday, mix in Nuel Belnap’s really interesting account of an indeterministic relativistic universe in “Branching Space-time” and the Thomason point/history semantics for temporal logic motivated and justified in Belnap and Green’s wonderful Indeterminism and The Thin Red Line, and stir thoroughly.
Let me know what you cook up. I think it could be really interesting. In fact, you could come here as a graduate student and do a project just like this one. This would be a great M.A. or Ph.D. thesis topic.