Slide 1 74.419 Artificial Intelligence 2004 Non-Classical Logics Slide 2 Specific Language Constructs added to classic FOPL Different Types of Logics Modal Logics…