A Note on Graded Modal Logic
A Note on Graded Modal Logic
About this item
Full title
A Note on Graded Modal Logic
Author / Creator
Publisher
Wroclaw, Poland: Kluwer Academic Publishers
Journal title
Studia logica, 2000-03, Vol.64 (2), p.271-283
Language
English
Formats
Publication information
Publisher
Wroclaw, Poland: Kluwer Academic Publishers
Subjects
More information
Scope and Contents
Contents
We introduce a notion of bisimulation for graded modal logic. Using this notion, 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.
Alternative Titles
Full title
A Note on Graded Modal Logic
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_1683903824
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_1683903824
Other Identifiers
ISSN
0039-3215
E-ISSN
1572-8730
DOI
10.1023/A:1005245900406
How to access this item
Log in as a Library member
