display all the ideas for this combination of texts
3 ideas
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
9449 | The plausible Barcan formula implies modality in the actual world [Bird] |