Reference8 articles.
1. Past, Present and Future
2. Review of [7];Feferman;The journal of symbolic logic,1952
3. The completeness of first-order functional calculus;Henkin;The journal of symbolic logic,1949
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Temporal Logics;2023-09-08
2. Hybrid Modal Operators for Definite Descriptions;Logics in Artificial Intelligence;2023
3. Exorcising the phantom zone;Information and Computation;2021-05
4. Reichenbach, Prior and hybrid tense logic;Synthese;2015-10-17
5. Hybrid Logic;Handbook of Philosophical Logic;2013-04-09