[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
More intriguing information
1. Dendritic Inhibition Enhances Neural Coding Properties2. The name is absent
3. The name is absent
4. TLRP: academic challenges for moral purposes
5. On the Relation between Robust and Bayesian Decision Making
6. Expectations, money, and the forecasting of inflation
7. Top-Down Mass Analysis of Protein Tyrosine Nitration: Comparison of Electron Capture Dissociation with “Slow-Heating” Tandem Mass Spectrometry Methods
8. Natural Resources: Curse or Blessing?
9. Ronald Patterson, Violinist; Brooks Smith, Pianist
10. The name is absent