 Boethius’s remarks on modalities have led some authors to analyze them by using models derived from modern temporal or tense logic with branching time theory developed by Prior, Burgess, Thomason and others. In applying these to Boethius, Bornholdt states that the models shed light on Boethius’s approach even though they were not intended by Boethius himself (2017: 49; see also Martin 2004: 53–63). Bornholdt extends his formal analysis to later medieval discussions as well, calling it the Boethian model. For similar non-historical reconstructions of time logic in some late medieval theories of future contingents, see the  SEP entry on future contingents.