1. (noun) a system of logic whose formal properties resemble certain moral and epistemological concepts

• alethic logic
• deontic logic
• doxastic logic
• epistemic logic

1. (noun) the logical study of necessity and possibility

• logic

2. (noun) a system of logic whose formal properties resemble certain moral and epistemological concepts

• formal logic
• mathematical logic
• symbolic logic