Using hybrid logic for coping with functions in subset spaces (Q965902)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Using hybrid logic for coping with functions in subset spaces |
scientific article; zbMATH DE number 5701669
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using hybrid logic for coping with functions in subset spaces |
scientific article; zbMATH DE number 5701669 |
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
