A note about the axioms for branching-time logic
scientific article; zbMATH DE number 120387