Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. van Benthem J. A Manual of Intensional Logic. Lecture Notes, CSLI, Stanford, 1988, 135pp.
2. Clarke E.M., Grumberg O., Kurshan B.P. A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Lecture Notes in Computer Science, No. 363, 1989, Logic at Botik'89, Springer-Verlag, 81–90.
3. Fagin R., Halpern J.Y., Vardi M.Y., What is an Inference Rule. J. of Symbolic Logic, 57(1992), No 3, 1018–1045.
4. Goldblatt R.I. Metamathematics of Modal Logics, Reports on Mathematical Logic, Vol. 6(1976), 41–78 (Part 1), 7(1976), 21–52 (Part 2).
5. Konolige K., On the Relation between Default and Autoepistemic Logic. Artificial Intelligence, V. 35 (1988), 343–382.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献