A propositional modal logic of time intervals
Application of modal logic to programming
On modal logic with an intuitionistic base
