Automated deduction in a graphical temporal logic

DOI10.1080/11663081.1996.10510865zbMath0836.03012OpenAlexW1964059460MaRDI QIDQ4868233

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

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

automated deductiongraphical representationBüchi automatontheorem proverapplication to roboticsmodal logic for reasoning about timereal-time graphical interval logic

Mathematics Subject Classification ID

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

Related Items (3)

Interval logics and their decision procedures. II: A real-time interval logic ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi

Cites Work

• Maintaining knowledge about temporal intervals
• Symbolic model checking: \(10^{20}\) states and beyond
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A propositional modal logic of time intervals
• Unnamed Item

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