Explore tens of thousands of sets crafted by our community.
Modal Logic Basics
5
Flashcards
0/5
Accessibility Relation
Refers to a relation between possible worlds, often denoted by R, that indicates if one world is accessible from another within the context of a Kripke frame.
Kripke Frame
Consists of a set of possible worlds and an accessibility relation, forming the structure on which modal logic is evaluated.
Necessity (□)
A modal operator indicating that a proposition is necessarily true; in every possible world/scenario, the proposition cannot be false.
Possibility (◇)
A modal operator denoting the possibility of a proposition; in at least one possible world/scenario, the proposition could be true.
Worlds
In modal logic, these are the different states or scenarios considered, each with a unique set of propositions which can be true or false.
© Hypatia.Tech. 2024 All rights reserved.
