alethic_logic
1. [ noun ] (mathematics,logic) the modal logic of necessity and possibility and contingency
Related terms: modal_logic
Similar spelling:   Altaic_language