時相論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/02 21:06 UTC 版)
様々な時相論理
- インターバル時相論理 (ITL)
- μ計算
時相論理と密接に関連する論理として、トポロジーや場所や空間的位置を扱う様相論理がある[9][10]。
参考文献
- Mordechai Ben-Ari, Zohar Manna, Amir Pnueli: The Temporal Logic of Branching Time. POPL 1981: 164-176
- Amir Pnueli: The Temporal Logic of Programs FOCS 1977: 46-57
- Venema, Yde, 2001, "Temporal Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
- E. A. Emerson and C. Lei, modalities for model checking: branching time logic strikes back, in Science of Computer Programming 8, p 275-306, 1987.
- E.A. Emerson, Temporal and modal logic, Handbook of Theoretical Computer Science, Chapter 16, the MIT Press, 1990
- Moshe Y. Vardi (2008), “From Church and Prior to PSL”, in Orna Grumberg, Helmut Veith, 25 years of model checking: history, achievements, perspectives, Springer, ISBN 978-3-540-69849-4 preprint
関連文献
- Peter Øhrstrøm; Per F. V. Hasle (1995). Temporal logic: from ancient ideas to artificial intelligence. Springer. ISBN 978-0-7923-3586-3.
|
- ^ Vardi 2008, p. 153.
- ^ a b Vardi 2008, p. 154.
- ^ Peter Øhrstrøm; Per F. V. Hasle (1995). Temporal logic: from ancient ideas to artificial intelligence. Springer. ISBN 978-0-7923-3586-3. pp. 176-178, 210
- ^ http://plato.stanford.edu/entries/logic-temporal/M
- ^ Walter Carnielli; Claudio Pizzi (2008). Modalities and Multimodalities. Springer. p. 181. ISBN 978-1-4020-8589-5 .
- ^ Sergio Tessaris; Enrico Franconi; Thomas Eiter (2009). Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Springer. p. 112. ISBN 978-3-642-03753-5 .
- ^ O. Maler, D. Nickovic, "Monitoring temporal properties of continuous signals", 2004
- ^ O. Maler, D. Nickovic, "Monitoring temporal properties of continuous signals", 2004
- ^ Nicholas Rescher, James Garson, "Topological Logic" in The Journal of Symbolic Logic, 33(4):537-548, December, 1968
- ^ Georg Henrik von Wright, "A Modal Logic of Place", in E. Sosa (Editor), pp. 65-73, "The Philosophy of Nicholas Rescher: Discussion and Replies", D. Reidel, Dordrecht, Holland, 1979
時相論理と同じ種類の言葉
- 時相論理のページへのリンク