This is a preview. Log in through your library . Abstract Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention ...