- the logical study of such philosophical concepts as necessity, possibility, contingency, etc
- the logical study of concepts whose formal properties resemble certain moral, epistemological, and psychological concepts
- any formal system capable of being interpreted as a model for the behaviour of such concepts