modal-logic

Back in the 70s when I was a compsci graduate student writing modal-logic theorem-proving code, I certainly believed that you could model human strategies as "prove a theorem of the form I should do X and then do it", thus blurring the distinction between claims of fact and choice of strategy, but somehow I've lost faith in that approach.

"Faith" Means Not Wanting to Believe What is True, Bryan Caplan | EconLog | Library of Economics and Liberty 2009

The term Temporal Logic has been broadly used to cover all approaches to the representation of temporal information within a logical framework, and also more narrowly to refer specifically to the modal-logic type of approach introduced around 1960 by Arthur Prior under the name of Tense Logic and subsequently developed further by logicians and computer scientists.

Temporal Logic Galton, Antony 2008