<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Report CS-RR-318
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
M. de Rijke,
A Note on Graded Modal Logic
(October 1, 1996).
Abstract
We introduce a notion of bisimulation for graded modal logic. Using these
bisimulations 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.
Download
cs-rr-318.ps.gz
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>