A Coordinated Inquiry Into a Unified Logic of Existence
Stuart Iain Bond (Thu,) studied this question.