[PDF][PDF] Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi
AA Yepes - 2023 - core.ac.uk
In this thesis, we apply the approach to deduction methods for Propositional Lineartime
Temporal Logic (PLTL), introduced in [40, 41], to the decision problems of model checking …
Temporal Logic (PLTL), introduced in [40, 41], to the decision problems of model checking …
[引用][C] Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi.
A Abuin Yepes - 2023