Salvatore Florio

Philosophy of language (especially semantics), philosophical logic, mathematical logic, philosophy of mathematics, metaphysics, epistemology, and philosophy of artificial intelligence (especially knowledge representation and formal ontology)