A model of mind-body relation in terms of modular logic