Publication:4268464
From MaRDI portal
zbMath0924.03028MaRDI QIDQ4268464
L. K. Dillon, Y. S. Ramakrishna, G. Kutty, Louise E. Moser, P. Michael Melliar-Smith
Publication date: 31 October 1999
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items
Interval logics and their decision procedures. II: A real-time interval logic, Model-checking discrete duration calculus