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

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

N. Kurtonina and M. de Rijke, Directed Simulations (June 1, 1996).

Abstract

Although negation-free languages are widely used in logic and computer science, relatively little is known about their expressive power. To address this issue we consider a kind of non-symmetric bisimulations called directed simulations, and use these to analyze the expressive power and model theory of negation-free modal and temporal languages. We first use them to obtain preservation, safety and definability results for a simple negation-free modal language. We then obtain analogour results for stronger negation-free languages. Finally, we extend our methods to deal with languages with non-boolean negation.

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

N. Kurtonina and M. de Rijke, "Directed Simulations", Journal of Logic and Computation 7, pp. 503-524 (1997)

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