A Modal Temporal Logic for Reasoning about Change

35443

Knowledge Triples

Source Entity	Relationship	Target Entity
Modal Temporal Logic Method	develops	Offers of Monitors Task
Modal Temporal Logic Method	develops	Queries about Alternative Histories Task
Modal Temporal Logic Method	develops	Queries about Possible Futures Task
Modal Temporal Logic Method	provides	Completion Axiom for History Method
Modal Temporal Logic Method	provides	Modelling Strategies Method