<%@ 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-304

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

N. Kurtonina and M. de Rijke, Bisimulations for Temporal Logic (April 1, 1996).

Abstract

We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and definability results. We conclude with a brief discussion of the wider applicability of our ideas.

<%@ include file="cited.html" %>

N. Kurtonina and M. de Rijke, "Bisimulations for Temporal Logic", Journal of Logic, Language and Information 7 (1997)

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>