Logic
Knowledge representation
Formal sciences
Reality
Jerzy Perzanowski
Formal ontology
Modal logic
Mereology
Category of being
Science
Ontology
Philosophy