An equational axiomatization of dynamic negation and relational composition

Journal of Logic, Language and Information

Volumn 6, Issue 4, 1997, Pages 381-401

  Hollenberg, Marco ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Bisimulation; Dynamic logic; Dynamic Predicate Logic; Finite axiomatization; Modal logic; Relation algebra; Representability; Unraveling; Variety

Indexed keywords

EID: 35748955618     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008271805106     Document Type: Article

References (16)

1. van Benthem, J.F.A.K., 1993, "Programming operations that are safe for bisimulation," CSLI Report 93-179, Center for the Study of Language and Information, Stanford University, to appear in Studia Logica.
2. Blackburn, P., 1993, "Nominal tense logic," Notre Dame Journal of Formal Logic 34, 56-83.
3. Blackburn, P. and Venema, Y., 1995, "Dynamic squares," Journal of Philosophical Logic 24, 469-523.
4. Burris, S. and Sankappanavar, H.P., 1981, A Course in Universal Algebra, Berlin: Springer-Verlag.
5. Conway, J.H., 1971, Regular Algebra and Finite Machines, London: Chapman and Hall,
6. van Dalen, D., 1986, "Intuitionistic logic," pp. 225-339 in Handbook of Philosophical Logic, Vol. III, D.M. Gabbay and F. Guenther, eds. Dordrecht: Reidel.
7. Gargov, G. and Goranko, V., 1993, "Modal logic with names," Journal of Philosophical Logic 22, 607-636.
8. Goldblatt, R., 1992, Logics of Time and Computation, 2nd edition, CSLI Lecture Notes, Vol. 7. Stanford: CSLI Publications.
9. Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39-100.
10. Groeneveld, W., 1995, "Logical investigations into dynamic semantics," Ph.D. Thesis, ILLC Dissertation Series, 1995-18.
11. Harel, D., 1984, "Dynamic logic," pp. 497-604 in Handbook of Philosophical Logic, Vol. II, D.M. Gabbay and F. Guenther, eds., Dordrecht: Reidel.
12. Monk, J.D., 1969, "On representable relation algebras," Michigan Mathematical Journal 34, 331-343.
13. Redko, V.N., 1964, "On defining relations for the algebra of regular events," Ukrainskii Matematicheskii Zhurnal 16, 120-126 [in Russian].
14. Tarski, A., 1941, "On the calculus of relations," Journal of Symbolic Logic 6, 73-89.
15. Venema, Y., 1991, "Many-dimensional modal logic," Ph.D. Thesis, University of Amsterdam.
16. Visser, A., 1995, "Relational validity and dynamic predicate logic," Logic Group Preprint Series 144, Department of Philosophy, Utrecht University.