This index defines the local vocabulary used in mathematics/modal-logic. The objective is practical orientation: readers need stable meanings that match this module’s methods, examples, and arguments. Rather than duplicating a universal glossary, this page frames the scope of terms that are maintained nearby and explains how to read them. The current collection centers about 8 entries, including items such as Accessibility relation, Kripke frame, Kripke model, Modal operator, Modal system, Necessity, Possibility, Possible world. Each entry is intentionally brief so it can be used while reading notes, building curricula, and revising linked content without losing momentum.
These terms are local on purpose. A word can carry one meaning in a broad encyclopedia and a narrower meaning in a focused module. This index preserves that local precision so that discussion remains coherent across lessons, skills, and reference notes. When a definition shifts, the local term page should be updated first, then propagated to dependent notes. That workflow keeps language decisions explicit and prevents quiet drift caused by copy-paste edits or partial rewrites.
In day-to-day use, this folder supports three common tasks. First, it helps new readers decode specialized vocabulary quickly. Second, it gives writers a concrete anchor when drafting new pages so recurring words stay consistent. Third, it improves maintenance by reducing ambiguous links: the same concept resolves to one local page, not many competing phrasings. This is especially valuable in modules that evolve rapidly, where notes are frequently reorganized and terminology can fragment if not actively curated.
The terms collected here include object names, operation names, relationship labels, and boundary markers that separate similar concepts. Not every unfamiliar word needs a term page; only words that recur across this module or control key distinctions should be promoted. If a term is globally important, link outward to the broader reference ecosystem while still documenting local assumptions. That balance keeps the module interoperable with the larger library without sacrificing clarity in its own internal discourse.
Use this index as an editorial contract for modal logic. Before major writing sessions, check whether the needed vocabulary already exists and whether definitions remain accurate. After major edits, update term pages to reflect new usage. Over time, this creates a resilient language layer that supports search, linking, and collaborative revision. The target is not stylistic perfection; the target is dependable interpretation so readers and contributors can reason from the same conceptual ground.