Abstract
Modal logic offers a rich paradigm for programming. Several executable languages based on various types of modal logic are presented. Modality is not only useful for programming on domains for which the notion of time is essential but also can be used as structural concepts. In particular, it can be applied as a high level executable specification language especially in such domains as real-time, process control, distributed programming. This paper surveys several works in this direction which have been done in recent years at Kyoto University.
Preview
Unable to display preview. Download preview PDF.
References
J. Barwise, Mathematical proofs of computer correctness, unpublished memo.
J. DeTreville, Phoan: An Intelligent System for Distributed Control Synthesis, ACM SIGPLAN Notices Vol.19, No.5(1984) pp.96–103.
L. Farinas del Cerro, MOLOG: A System That Extends Prolog with Modal Logic, New Generation Computing. 4(1986)pp.35–50, OHMSHA,LTD. and Springer-Verlag.
H. Fetzer, Program verification: the very idea, CACM 31,9(1988)pp.1048–1063
T. Hattori,R. Nakajima, T. Sakuragawa, N. Nide and K. Takenaka, RACCO: A Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems, Computer Software Vol. 5 No.3(1988) pp.22–33 (in Japanese) (English version, to appear in Advances in Software Science and Technology, Vol 2, (1990)).
T.Hattori, Time-Extraction for Temporal Logic-Logic Programming and Local Process Time, to appear, J. of Computer System and Science.
L.Lamport, What good is Temporal Logic?, in Proc. IFIP. Inform. Processing, R. E. A. Mason. Ed. Amsterdam, The Netherlands; North-Holland, 1983, pp. 657–668.
B.Moszkowski, Executing Temporal Logic Programs, Cambridge University Press, 1986.
N. Nide, Executable and formalized logic programming language based on time interval logic, Master thesis, Kyoto University.
T.Sakuragawa, R.Nakajima, T.Hattori, N.Nide and K.Takenaka, A Work Out Example of Tube Mill in RACCO, Technical Report in RIMS-561 (in Japanese).
T. Sakuragawa, Temporal Prolog-A Programming Language Based on Temporal Logic, Computer Software Vol. 4 No.3(1987)pp.22–33 (in Japanese)
R.L.Schwartz, P.M.Melliar-Smith and F.H.Vogt, An Interval Logic for Higher-Level Temporal Reasoning, in Proc, 2nd Annu. ACM Symp. Principles of Distributed Comput., 1983, pp.173–185.
N.Yonezaki, et al., Time logic programming language Templog, in 1st Conference Proceedings, Japan Society for Software Science and Technology,1984, pp77–80 (in Japanese).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kato, D., Kikuchi, T., Nakajima, R., Sawada, J., Tsuiki, H. (1990). Modal logic programming. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_3
Download citation
DOI: https://doi.org/10.1007/3-540-52513-0_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52513-4
Online ISBN: 978-3-540-47006-9
eBook Packages: Springer Book Archive