Mark Brown Valentin Goranko An Extended Branching-Time Ockhamist Temporal Logic. 143-166 1999 8 Journal of Logic, Language and Information 2 db/journals/jolli/jolli8.html#BrownG99