03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker