Modal Logic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 January 2023

  • curprev 12:3812:38, 20 January 2023‎ Bacchus talk contribs‎ 2,206 bytes +285‎ No edit summary
  • curprev 12:3612:36, 20 January 2023‎ Bacchus talk contribs‎ 1,921 bytes +1,921‎ 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..."
Retrieved from "http:///index.php/Modal_Logic"