Non-classical logic
Philosophical logic
Philosophy
Modal logic
Abstract object
Object
Ontology
Logic
Metaphysics