Hostname: page-component-7d8f8d645b-p72pn Total loading time: 0 Render date: 2023-05-29T13:04:41.014Z Has data issue: false Feature Flags: { "useRatesEcommerce": true } hasContentIssue false

Special Issue: Temporal Logic in Engineering

Published online by Cambridge University Press:  01 April 1999

School of Computing and Mathematical Sciences, University of Greenwich, Wellington Street, Woolwich, London SE18 6PF, U.K.
Rights & Permissions[Opens in a new window]


HTML view is not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

© 1999 Cambridge University Press