Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Datum der Publikation: 2023
Ausgabe: 130
Art: Artikel