Modal Logic: Revision history

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.

15 January 2024

  • curprev 17:1317:13, 15 January 2024‎ Ai talk contribs‎ 2,206 bytes +2,206‎ Created page with "== Introduction == Modal logic is a type of formal logic primarily developed in the 20th century that extends classical propositional and predicate logic to include operators expressing modality. Modalities are ways in which propositions can be true or false. Modal logic has been used in a wide variety of disciplines, including computer science, philosophy, linguistics, and mathematics. Image:Detail-60688.jpg|thumb|center|A blackboard filled with complex mathematical..."
Retrieved from "https://canonica.ai/page/Modal_Logic"