In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a concrete framework, called MetateM for executing (modal and) temporal logics. Our approach is illustrated by the development of an execution mechanism for a propositional temporal logic and for a restricted first order t...

R M Melavanki*, N R Patil, H D Patil, R A Kusanur & J S Kadadevaramath Department of Physics, M S Ramaiah Institute of Technology Bangalore 560 054, Karnataka, India Department of Physics, B V B College of Engineering and Technology, Hubli 580 031, Karnataka, India Department of Physics, Basaveshwar Science College, Bagalakot, Karnataka, India 4 Department of Chemistry, Karnatak University, Dha...

Creative Research Institution, Hokkaido University, Sapporo 001–0021, Japan (K.M.); Graduate School of Agricultural and Life Sciences, The University of Tokyo, Tokyo 113–8657, Japan (K.M., H.O., T.F.); Graduate School of Agriculture, Hokkaido University, Sapporo 060–8589, Japan (S.W., S.T., K.I., J.T., S.N.); and Agricultural Research Center, National Agriculture and Food Research Organization,...

Ampfied Bioresearch Center, Corporate Research and Developtnent Division Kirite Breiveo, Co. 3 MiJ,aharacho, Takasakishf, GNntna370-12, .Jbpan 'Department of Food Science and Technolog.y, fucutt.i' ofAgrictitttire, Ky'oto Unh'ersi4y, Oiwaketnachi, Kitashirakawa, Sak.yo-ku, IC)'oro 606, laJ)ati ""Deparrtnent o.fBioscience and Chemistttv, Faculij' ofAgricutture, Hokkaido Universit.y, Kita 9 Niski...

Crisis Takahiro Kiyohara, Masanobu Kumakiri, Hitoshi Kobayashi, Mariko Mayuzumi and Akira Ohkawara Department of Dermatology, Fukui Medical University, 23 – 3 Shimoaizuki, Matsuoka-cho, Yoshida-gun, Fukui 910 – 1193, Japan, Department of Dermatology, Hokkaido University Graduate School of Medicine, N15 W7 Sapporo, JP-060-8638, Japan. E-mail: kiyo @ fmsrsa.fukui-med.ac.jp Accepted November 18, 2...

Departments of 1Radiological Life Sciences and 2Biomedical Sciences, Division of Medical Life Sciences, Hirosaki University Graduate School of Health Sciences, 66-1 Hon-cho, Hirosaki 036-8564, Japan 3Research Center for Biomedical Sciences, Hirosaki University Graduate School of Health Sciences, 66-1 Hon-cho, Hirosaki 036-8564, Japan 4Faculty of Health Sciences, Hokkaido University, Kita-12 Nis...

Yumi Une*, Asuka Sanbe, Satoru Suzuki, Takeshi Niwa, Kazuto Kawakami, Reiko Kurosawa, Hidemasa Izumiya, Haruo Watanabe and Yukio Kato Laboratory of Veterinary Pathology and Laboratory of Public Health, Azabu University, Kanagawa 229-8501; Forestry and Forest Products Research Institute, Ibaraki 305-8687; Institute of Low Temperature Science Hokkaido University, Hokkaido 060-0819; and National I...

Yasuhiro Asano,1 Toshihiro Yoshida,1 Yukio Tanaka,2 and Alexander A. Golubov3 1Department of Applied Physics, Hokkaido University, Sapporo 060-8628, Japan 2CREST-JST and Department of Applied Physics, Nagoya University, Nagoya 464-8603, Japan 3Faculty of Science and Technology, University of Twente, 7500 AE, Enschede, The Netherlands Received 13 March 2008; revised manuscript received 16 June 2...