Axiomatic Formal Ontology

"Axiomatic Formal Ontology" offers a systematic exploration of general metaphysics using an axiomatic approach. It focuses on constructing a non-set-theoretical theory of intensional entities, while also addressing the metaphysics of modality, actual existence, mereology, and the classification of entities.