alethic logic

/əˈlɛθɪk ˌlɑdʒɪk/

Definitions of alethic logic

1. noun

   the modal logic of necessity and possibility and contingency
   type of:

   modal logic

   a system of logic whose formal properties resemble certain moral and epistemological concepts