Я знаю. :-)

Как, впрочем, и знаю о каких-то попытках расширить логику и на модальные утверждения.

Понятно, что тут я говорю о логике в достаточно широком смысле этого слова, как о максимально возможной формализации вообще.