Ontologia
Ontologia voidaan jakaa neljään osaan: (1) sen tutkimiseen, mitä on olemassa, (2) sen tutkimiseen, minkälaisia käsityksiä olevaisesta on, (3) sen tutkimiseen, minkälaisia kaikkein yleisluontoisimpia ominaisuuksia ja suhteita olevaisella on, sekä (4) niin sanotun metaontologian eli ontologian päämäärien ja menetelmien sekä ontologisten kysymysten luonteen tutkimiseen. Ontologian ja muun metafysiikan rajanveto on usein vaikeaa.
Logiikka
Modaalilogiikka on logiikan alue, jolla tutkitaan aleettisten modaliteettien eli välttämättömyyden ja mahdollisuuden loogisia piirteitä. Usein termi ”modaalilogiikka” ymmärretään kokonaisnimityksenä kaikkien
modaliteettien loogiikoille. Muita modaliteetteja ovat muun muassa episteeminen, temporaalinen ja deonttinen.