The Library
A note on graded modal logic
Tools
Tools
Tools
Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-318.pdf - Other - Requires a PDF viewer. Download (281Kb) | Preview |
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.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | B Philosophy. Psychology. Religion > BC Logic | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Modality (Logic) | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | 1996 | ||||
| Dates: |
|
||||
| Number: | Number 318 | ||||
| Number of Pages: | 13 | ||||
| DOI: | CS-RR-318 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Funder: | University of Warwick | ||||
| 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
