Hello, rvw. Yes, indeed, it's quite complicated. It's a whole system of logical language. I learned it stepwise, from traditional propositional logic, predicate logic, two-sorted logic, modal logic, tense logic, type theory, categorial grammar, intensional logic (they all are simple systems of...