Axiomatization up to a unique isomorphism is the way out of the circularity. Actors have been automatized up to a unique isomorphism. See the following: * ht

Axiomatization up to a unique isomorphism is the way out of the circularity. Actors have been automatized up to a unique isomorphism. See the following: * https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021 * https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003