Title: Formal semantics and logic
Subjects: Logic, Semantics (Philosophy)