What is another word for alethic logic?
Pronunciation: [ɐlˈɛθɪk lˈɒd͡ʒɪk] (IPA) 
Alethic logic, sometimes referred to as necessary or modal logic, is a type of logical reasoning that involves the concepts of possibility, necessity, and truth. Synonyms for alethic logic include modal logic, deontic logic, and logical necessity. Modal logic is used to describe relationships between possible and necessary states of affairs, while deontic logic deals with moral or ethical concepts such as permission, obligation, and prohibition. Logical necessity refers to the idea that certain statements must be true or false based solely on the rules of logic. Other related terms include epistemic logic, temporal logic, and dynamic logic. Overall, these synonyms provide insight into the various ways in which alethic logic can be used to reason about different types of concepts and phenomena.
