Logo
Pattern

Discover published sets by community

Explore tens of thousands of sets crafted by our community.

Modal Logic Basics

5

Flashcards

0/5

Still learning
StarStarStarStar

Necessity (□)

StarStarStarStar

A modal operator indicating that a proposition is necessarily true; in every possible world/scenario, the proposition cannot be false.

StarStarStarStar

Possibility (◇)

StarStarStarStar

A modal operator denoting the possibility of a proposition; in at least one possible world/scenario, the proposition could be true.

StarStarStarStar

Accessibility Relation

StarStarStarStar

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.

StarStarStarStar

Kripke Frame

StarStarStarStar

Consists of a set of possible worlds and an accessibility relation, forming the structure on which modal logic is evaluated.

StarStarStarStar

Worlds

StarStarStarStar

In modal logic, these are the different states or scenarios considered, each with a unique set of propositions which can be true or false.

Know
0
Still learning
Click to flip
Know
0
Logo

© Hypatia.Tech. 2024 All rights reserved.