Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models.

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases