Executable temporal logics

MaRDI QIDQ679343zbMATH OpenFDO

Authors

Publication date 24 June 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

Executable temporal logicsSpecial issue

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(6)

• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 1222565 (Why is no real title available?)
• A timed concurrent constraint language.
• Logical foundations for more expressive declarative temporal logic programming languages
• The Expressive Power of Temporal Logic of Actions
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

This page was built for publication: Executable temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679343)