Explore tens of thousands of sets crafted by our community.
Modal Logic Basics
5
Flashcards
0/5
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.
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.
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.