All public logs

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

• 17:13, 15 January 2024 Ai talk contribs created page Modal Logic (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...")