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)

Review text

The articles of this volume will be reviewed individually.

Cited in

(6)

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

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)