Program Semantics and Classical Logic

[22] R.D. Tennent. Denotational Semantics. In S. Abramsky, D.M. Gabbay,
and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science,
volume 3, pages 169-322. Clarendon Press, Oxford, 1992.

[23] J.F.A.K van Benthem. Modal State Semantics, 1994. Unpublished
Manuscript.

[24] J.F.A.K. van Benthem. Exploring Logical Dynamics. CSLI, Stanford,
1996.

[25] J.F.A.K. van Benthem and K. Doets. Higher-Order Logic. In D.M.
Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic,
volume I, pages 275-329. Reidel, Dordrecht, 1983.

[26] J. van Eijck. Typed Logics with States. Journal of the IGPL, 1997.

33

<<   <   30   31   32   33