Я хз, что такое "субъективная логика", да ещё "здравого смысла".
Я имел в виду произвольную.
Давай возьмём какую-нибудь достаточно богатую логику, включающую в себя ту, что обычно используют при доказательстве теорем.
Всё, что ты можешь ею описать (а описать с её помощью ты можешь и другие, например неклассические логики) в каком-то смысле эквивалентно ей.