Title: Map logic and other extensions of traditional logic
Subjects: Logic