Automated deduction in a graphical temporal logic

DOI10.1080/11663081.1996.10510865MaRDI QIDQ4868233zbMATH OpenOpenAlexFDO

Authors Y. S. Ramakrishna, G. Kutty, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith

Publication date 2 May 1996

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1996.10510865

zbMATH Keywords

application to roboticsautomated deductionBüchi automatongraphical representationmodal logic for reasoning about timereal-time graphical interval logictheorem prover

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• Automated theorem proving in temporal logic: T-resolution
• scientific article; zbMATH DE number 1504838
• scientific article; zbMATH DE number 1536570
• Natural Deduction Calculus for Linear-Time Temporal Logic
• Temporalized logics and automata for time granularity
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
• A derivation-loop method for temporal logic
• scientific article; zbMATH DE number 3972842
• A labelled natural deduction system for linear temporal logic
• A Temporal Graph Logic for Verification of Graph Transformation Systems

Cites work

• A propositional modal logic of time intervals
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Maintaining knowledge about temporal intervals
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(5)

• Automated theorem proving in temporal logic: T-resolution
• scientific article; zbMATH DE number 1504838 (Why is no real title available?)
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi
• Interval logics and their decision procedures. II: A real-time interval logic

This page was built for publication: Automated deduction in a graphical temporal logic

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