Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Journal:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Year of publication: 2023
Volume: 130
Type: Article