Dariusz Surowik

• Logic as a tool
• Logic in knowledge representation and exploration
• Logic, philosophy and computer science