A proof system for a unified temporal logic

DOI10.1007/978-3-030-26176-4_55MaRDI QIDQ2300079zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 24 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-26176-4_55

zbMATH Keywords

theorem provingtemporal logicsoundnessproof systemindexed expression

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A proof system for unified temporal logic
• A sound and complete proof system for a unified temporal logic
• Unified temporal logic
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• A complete proof system for propositional projection temporal logic
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• scientific article; zbMATH DE number 2090286
• Publication:4508304

Cited in

(11)

• A complete proof system for propositional projection temporal logic
• Unification in linear temporal logic LTL
• A Complete Proof System for First-order Interval Temporal Logic with Projection
• Unified temporal logic
• A proof system for unified temporal logic
• Writing out Unifiers in Linear Temporal Logic
• A method for proving ITL theorem by using PVS
• PTL sequent calculus system
• scientific article; zbMATH DE number 1059321 (Why is no real title available?)
• A sound and complete proof system for a unified temporal logic
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)

This page was built for publication: A proof system for a unified temporal logic

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