A Tableau for RoBCTL
From MaRDI portal
Publication:3532474
DOI10.1007/978-3-540-87803-2_25zbMath1178.03031OpenAlexW1493891971MaRDI QIDQ3532474
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
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (3)
Expressiveness and succinctness of a logic of robustness ⋮ Sublogics of a branching time logic of robustness ⋮ A resolution calculus for the branching-time temporal logic CTL
This page was built for publication: A Tableau for RoBCTL
