[Rich &Knight, 7.2]
We'll only look at two types of logic here - there are lots more. The first type of logic is default logic, which allows us to perform nonmonotonic inferences, where new information may mean that certain facts are no longer believed true. The second type of logic is modal logic, which allows us to represent beliefs in a reasonable way.