A note on graded modal logic

Abstract

We introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property and proving invariance and definability results. © 2000 Kluwer Academic Publishers.