A Tableau for RoBCTL

DOI10.1007/978-3-540-87803-2_25MaRDI QIDQ3532474zbMATH OpenOpenAlexFDO

Authors John Christopher McCabe-Dansted

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_25

zbMATH Keywords

bundleddiagnosislogicQCTL*robustnesstableau

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A Tableau for Bundled CTL
• A control structure for an observation system for service robots
• scientific article; zbMATH DE number 2158090
• Dispatching of robotic control programs
• scientific article; zbMATH DE number 4091356

Cited in

(6)

• Sublogics of a branching time logic of robustness
• A complete axiomatization of a temporal logic with obligation and robustness
• A Tableau for Bundled CTL
• A Temporal Logic of Robustness
• Expressiveness and succinctness of a logic of robustness
• A resolution calculus for the branching-time temporal logic CTL

This page was built for publication: A Tableau for RoBCTL

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