Using hybrid logic for coping with functions in subset spaces (Q965902)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using hybrid logic for coping with functions in subset spaces |
scientific article |
Statements
Using hybrid logic for coping with functions in subset spaces (English)
0 references
26 April 2010
0 references
Moss and Parikh's modal logic for subset spaces is extended by gradually adding state-valued functions, set-valued functions and functions of neighbourhood situations. This is done with the aid of some basic concepts from hybrid logic. The soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces is proved and it is shown that these logics are decidable.
0 references
Moss and Parikh's modal logic
0 references
modal logic of subset spaces
0 references
functional modalities
0 references
hybrid logic
0 references
completeness
0 references
soundness
0 references
decidability
0 references
