You know First Order Logic. It's just ordinary logic; it's the default thing people think of when they say "logic".

But it's also not very useful for human reasoning. It's good for math and logic puzzles and bad at anything else. It's bad at time, at belief, at negation. None of those things act like you expect them to.