If a modal logic can hide a mystery inside a black box, and everything outside the black box behaves consistently, that would be an incredibly useful achievement. You would have isolated the mystery.
If a modal logic can hide a mystery inside a black box, and everything outside the black box behaves consistently, that would be an incredibly useful achievement. You would have isolated the mystery.