KnowraModal logicLinked fromLinked fromThe 20 pages that link to Modal logic, each with the reason it gives.All 20Broader topic 4Related 4Narrower topic 4Compared with 8Possible worldsNarrower topic: It formalizes claims about what holds in some or all possible worlds.Ontological argumentNarrower topic: Modal logic makes the modern possibility-to-necessity argument precise.Saul KripkeNarrower topic: His early technical work helped establish modern possible-world semantics for modal systems.Jaakko HintikkaNarrower topic: Its formal tools supplied the framework for Hintikka’s analysis of knowledge.