All public logs

Combined display of all available logs of FasciPedia. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 12:36, 20 January 2023 Bacchus talk contribs created page Modal Logic (Created page with "'''Modal logic''' is a form of logic which distinguishes between '''necessary truths''' and '''contingent truths'''. A truth is ''necessary'' if it cannot be avoided, such as 2 + 2 = 4; by contrast, a ''contingent'' truth just happens to be the case, for instance "more than half of the earth is covered by water". In the most common interpretation of modal logic, one considers "all possible worlds". If a statement is true in all possible worlds, then it is a necessar...")