Modal Logic

Modal logic is a broad system of argumentation that works with possibility and contingency and deals with expressions, such as "it is necessary that" and "it is possible that" in order to derive conclusions. It works with the normality of a condition and draws conclusions based on the mode of what is considered normal. For example, it has always rained on January 1, therefore, it probably will rain again on January 1.