Logic of the mind

While present day computers execute classical propositional logic using operators like AND, OR, NOT, and IMPLIES (and thence NAND, NOR, EXOR, ...) a mind would require a fibring with, at least, temporal logic with operators like SINCE, S(A,B), UNTIL, U(A,B) (and thence, F, "in the future", P, "in the past", ...) as well as spatial logic with operators like "in front of", "behind", etc. and a non-monotonic consequence relation. (And probably the logic should be fuzzified.)

In addition to the fibred logic a mind would also need a value function/system.