Slide 1 -REPRESENTATION OF S4-LOGICS Alexei Muravitsky Northwestern State University Oxford August 2007 Slide 2 Alexei Muravitsky2 Logics in focus: The consistent extensions…