Select a category to explore research frontiers
Loading categories...
Formalizes logical systems for reasoning about multiple possible futures and branching timelines, exploring the philosophical implications of modal semantics for free will and modal realism.