Title: Recursive semantics for knowledge and belief