Fair Derivations in Monodic Temporal Reasoning

DOI10.1007/978-3-642-02959-2_21zbMath1250.03018OpenAlexW1553145570MaRDI QIDQ5191107

Michel Ludwig, Ullrich Hustadt

Publication date: 28 July 2009

Published in: Automated Deduction – CADE-22 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02959-2_21

Mathematics Subject Classification ID

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

Related Items (2)

Parameterized verification of leader/follower systems via first-order temporal logic ⋮ First-Order Resolution Methods for Modal Logics

Uses Software

• SPASS
• TSPASS
• TeMP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decidable fragments of first-order temporal logics
• Axiomatizing the monodic fragment of first-order temporal logic
• Mechanising first-order temporal resolution
• Implementing a fair monodic temporal logic prover
• System Description: Spass Version 3.0
• Deductive verification of simple foraging robotic behaviours
• Monodic temporal resolution
• Automated Reasoning
• Automated Deduction – CADE-20
• Clausal temporal resolution
• Automated Deduction – CADE-19

This page was built for publication: Fair Derivations in Monodic Temporal Reasoning