The Library
Simulating without negation
Tools
UNSPECIFIED (1997) Simulating without negation. JOURNAL OF LOGIC AND COMPUTATION, 7 (4). pp. 501-522. ISSN 0955-792X.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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 kinds of non-symmetric bisimulations called directed simulations, and use these to analyse 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: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | JOURNAL OF LOGIC AND COMPUTATION | ||||
Publisher: | OXFORD UNIV PRESS | ||||
ISSN: | 0955-792X | ||||
Official Date: | August 1997 | ||||
Dates: |
|
||||
Volume: | 7 | ||||
Number: | 4 | ||||
Number of Pages: | 22 | ||||
Page Range: | pp. 501-522 | ||||
Publication Status: | Published |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |