The Formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (logic LCG)
Richard of Lavenham's Analysis of the Future Contingency Problem Represented in Terms of Modern Tempo-Modal Logic