Executable temporal logic systems

DOI10.1006/JSCO.1996.0073MaRDI QIDQ679342zbMATHOpenAlexFDO

Authors Juan-Miguel Gracia

Publication date 12 June 1997

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

Full work available at URL https://doi.org/10.1006/jsco.1996.0073

zbMATH Keywords

chronologconcurrent Metatemexecutable temporal logicsF-LimetteTempuraTokio

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4076583
• scientific article; zbMATH DE number 3901996
• MetateM: An introduction
• scientific article; zbMATH DE number 4119670
• Temporal logic programming

Cited in

(8)

• scientific article; zbMATH DE number 1444741 (Why is no real title available?)
• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 1696757 (Why is no real title available?)
• Implementing Temporal Logics: Tools for Execution and Proof
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3960965 (Why is no real title available?)
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)
• MetateM: An introduction

This page was built for publication: Executable temporal logic systems

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