摘要在命题逻辑的基础上，Arthur Norman Prior在上个世纪50年代创建了模态逻辑的一个分支——时态逻辑。从80年代起，在哲学、计算机科学、人工智能、语言学等诸多交叉学科的推动下，时态逻辑取得了新的发展，形成了一些既具有重大理论意义，又具有实际应用价值的研究成果。比较典型的是在计算机科学中的发展。
2[1]Antonio Cau,Ben Moszkowski and Hussein Zedan.Soft-ware Technology Research Laboratory[EB/OL].http://www.cse.dmu.ac.uk/～cau/papers/itlhomepage,pdf.
3吴新民.论模态命题与时态命题的一致性[J].江汉大学学报,2000,17(5):90-92.
4[4]R.H.Thomason.Combinations of Tense and Modality[A].D.Gabby,F.Guenthner.Handbook of Philosophical Logic[C].Holland:Kluwer Academic Publishers,2002.
5[5]Frans.Von.Kutschera.T×W COMPLETENESS[J].Jour-nal of Philosophical Logic,1997,(26):241-250.
6[6]Wooldridge,Dixon,Fisher.A tableau-based proof method for temporal logics of knowledge and belief[J].Journal of Applied Non-Classical Logics,1998,8 (3):225-258.
7[7]Dixon,Fisher,Wooldridge.Resolutifon for temporal logics of knowledge[J].Journal of Logic and Computation,1998,8 (3):345-372.
8[8]Leslie Lamport.The Temporal Logic of Action[J].ACM Transactions on Programming Languages and Syetems,1993,(7):1-52.
9Stephan Eerz. Modeling and developing systems using TLA+[EB/OL] .http://www.loria. fr/merz/talks/argentina2005/han-dout.pdf,2008.
10Aybar A,Ifar A.Overlapping decompositions and expansions ofPetri nets [J]. IEEE Trans on Automatic Control, 2002,47 (3):511-515.
