Modal logic

High school (ages 12+)
Mathematics & Numbers

Name:

Date:

Step 1 · Read the article

Open the article and read it at the level above. Then answer the questions below in your own words.

https://smallwhale.org/articles/modal-logic

Write what each word means, using the article.

Do not copy the article. Write two things you learned, the way you would explain them to a friend.

Answers below are taken from the article’s stored facts, so they match what the student read.

1. What is the formal operators?□ (necessity) and ◊ (possibility) are unary operators
2. What is the relational semantics?Truth is evaluated based on accessibility relations between possible worlds
3. How do the symbols □ and ◊ work?□P means the statement P is necessarily true in every possible situation, while ◊P means P could be true in at least one possible situation.
4. Who helped create modal logic and when?Thinkers like Aristotle first explored the idea, but the first formal system was built by C. I. Lewis in 1912, and later Saul Kripke added the concept of possible worlds in the mid‑1900s.

Modal Operators: Symbols (□, ◊) that modify propositions to express necessity, possibility, knowledge, or obligation.
Possible Worlds Semantics: A model where the truth of a modal statement depends on its truth in accessible hypothetical worlds.
Accessibility Relation: A relation defining which possible worlds are 'reachable' or relevant from another world.