Thoughtscript[io]

Adam In Tae Gerard
Non-Eternalist Logic
- introducing logics that change
Non-Eternalist Logic #2
- dynamic sentence truth-value logic