Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference4 articles.
1. A. Prior, Past, Present and Future, Oxford 1967.
2. K. Segerberg, An Essay in Classical Modal Logic, Filosofiska studier 13, Uppsala Universitet, 1971.
3. K. Segerberg, Decidability of S4.1, Theoria 34 (1968), pp. 7?20.
4. A. A. Robb, A Theory of Time and Space, Cambridge 1914.
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Natural Deduction Calculus for S4.2;Notre Dame Journal of Formal Logic;2024-05-01
2. Temporal Logic of Minkowski Spacetime;Outstanding Contributions to Logic;2021-09-25
3. Strong Completeness of S4 for the Real Line;Outstanding Contributions to Logic;2021-09-25
4. Exploring the Jungle of Intuitionistic Temporal Logics;Theory and Practice of Logic Programming;2021-04-22
5. On Modal Logics of Model-Theoretic Relations;Studia Logica;2019-12-07