A Note on Graded Modal Logic

Download PDF
Open Webpage

Maarten de Rijke

Published: 2000, Last Modified: 14 Jan 2026Stud Logica 2000EveryoneRevisionsBibTeXCC BY-SA 4.0
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.