Deductive temporal reasoning with constraints

DOI10.1016/J.JAL.2012.07.001MaRDI QIDQ1948285zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Yanyan Li

Publication date 2 May 2013

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2012.07.001

zbMATH Keywords

constraintstableautemporal logictheorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• Temporal Logic with Capacity Constraints
• scientific article; zbMATH DE number 1234563
• Timed temporal logics
• An automata-theoretic approach to constraint LTL
• Temporal logics with local constraints (invited talk)

Cited in

(1)

• Temporal Logic with Capacity Constraints

This page was built for publication: Deductive temporal reasoning with constraints

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