Interpretability of first-order dynamic logic in a relational calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2561, Issue , 2002, Pages 66-80

  Frias, Marcelo F ^a   Baum, Gabriel A ^b   Maibaum, Thomas S E ^c  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^c KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SPECIFICATIONS;

DYNAMIC LOGIC; EQUATIONAL REASONING; FIRST ORDER; INTERPRETABILITY; RELATIONAL CALCULUS; SYSTEM SPECIFICATION;

COMPUTER CIRCUITS;

EID: 84947272797     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36280-0_5     Document Type: Conference Paper

References (17)

1. Burris, S. and Sankappanavar, H.P., A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, 1981.
2. Frias M. F., Baum G. A. and Haeberer A. M., Fork Algebras in Algebra, Logic and Computer Science, Fundamenta Informaticae Vol. 32 (1997), pp. 1-25.
3. Frias, M. F., Haeberer, A. M. and Veloso, P. A. S., A Finite Axiomatization for Fork Algebras, Logic Journal of the IGPL, Vol. 5, No. 3, 311-319, 1997.
4. Frias, M. F. and Orłowska E., Equational Reasoning in Non-Classical Logics, Journal of Applied Non Classical Logic, Vol. 8, No. 1-2, 1998.
5. Gyuris, V., A Short Proof for Representability of Fork Algebras, Theoretical Computer Science, vol. 188, 1-2, pp. 211-220, 1997.
6. Harel, D., Kozen, D. and Tiuryn, J., Dynamic Logic, MIT Press, 2000.
7. Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras Part I, Studies in Logic and the Foundations of Mathematics, vol.64, North-Holland, 1971.
8. Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras Part II, Studies in Logic and the Foundations of Mathematics, vol.115, North-Holland, 1985.
9. Lyndon, R., The Representation of Relational Algebras, Annals of Mathematics (Series 2) vol.51 (1950), 707-729.
10. Maddux, R.D., Topics in Relation Algebras, Doctoral Dissertation, Univ. California, Berkeley, 1978, pp. iii+241.
11. Maddux, R.D., Finitary Algebraic Logic, Zeitschr. f. math. Logik und Grundlagen d. Math. vol. 35, pp. 321-332, 1989.
12. Maddux, R.D., Pair-Dense Relation Algebras, Transactions of the A.M.S., vol. 328, No. 1, pp. 83-131, 1991.
13. Maddux, R.D., Relation Algebras, Chapter 2 of Relational Methods in Computer Science, Springer Wien-New York, 1997.
14. Orłowska, E., Relational proof systems for modal logics. In: Wansing, H. (ed) Proof Theory of Modal Logics. Kluwer, pp. 55-77, 1996.
15. Rasiowa, H. and Sikorski, R. The Mathematics of Metamathematics. Polish Science Publishers, Warsaw, 1963.
16. Tarski, A., On the Calculus of Relations, Journal of Symbolic Logic, Vol. 6, 73-89, 1941.
17. Tarski, A. and Givant, S., A Formalization of Set Theory without Variables, A.M.S. Coll. Pub., vol. 41, 1987.