[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. Commuting in multinodal urban systems: An empirical comparison of three alternative models2. The name is absent
3. A methodological approach in order to support decision-makers when defining Mobility and Transportation Politics
4. Can genetic algorithms explain experimental anomalies? An application to common property resources
5. The name is absent
6. The name is absent
7. Tissue Tracking Imaging for Identifying the Origin of Idiopathic Ventricular Arrhythmias: A New Role of Cardiac Ultrasound in Electrophysiology
8. The name is absent
9. The name is absent
10. The name is absent