The Library
Directed simulations
Tools
Tools
Tools
Kurtonina, Natasha and Rijke, Maarten de (1996) Directed simulations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-307.pdf - Other - Requires a PDF viewer. Download (1986Kb) | Preview |
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 analogous results for stronger negation-free languages. Finally, we extend our methods to deal with languages with non-boolean negation.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Bisimulation, Programming languages (Electronic computers), Negation (Logic) | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | June 1996 | ||||
| Dates: |
|
||||
| Number: | Number 307 | ||||
| Number of Pages: | 27 | ||||
| DOI: | CS-RR-307 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Reuse Statement (publisher, data, author rights): | N. Kurtonina and M. de Rijke, “Directed Simulations”, <i>Journal of Logic and Computation</i> <b>7</b>, pp. 503-524 (1997) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
