Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. 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.
2. Fagin R., Halpern J.Y., Vardi M.Y., What is an Inference Rule. J. of Symbolic Logic, 57(1992), No 3, 1018–1045.
3. Goldblatt R.I. Metamathematics of Modal Logics, Reports on Mathematical Logic, Vol. 6(1976), 41–78 (Part 1), 7(976), 21–52 (Part 2).
4. Konolige K., On the Relation between Default and Autoepistemic Logic. Artificial Intelligence, V. 35 (1988), 343–382.
5. Larsen K.G., Thomsen B. A Modal Process Logic, in Proceedings of Third Annual Symposium on Logic in Computer Science, Edinburgh, 1988.