Extending propositional and predicate logic with modal operators -- necessity and possibility, and their relatives (obligation, knowledge, belief, time). Covers Kripke possible-worlds semantics, acces
examples/skills/logic/modal-logic/SKILL.md(main)