An axiomatization of ECTL
From MaRDI portal
Publication:5406125
DOI10.1093/LOGCOM/EXT005zbMath1327.03013OpenAlexW1999756728MaRDI QIDQ5406125
Publication date: 1 April 2014
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/ext005
Related Items (2)
One-pass Context-based Tableaux Systems for CTL and ECTL ⋮ Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
Uses Software
This page was built for publication: An axiomatization of ECTL
