Using hybrid logic for coping with functions in subset spaces (Q965902): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-010-9226-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2052420015 / rank | |||
Normal rank |
Revision as of 23:13, 19 March 2024
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