Using hybrid logic for coping with functions in subset spaces (Q965902): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 | |||
Property / cites work | |||
Property / cites work: Handbook of Spatial Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3408862 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological reasoning and the logic of knowledge / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215596 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A hybrid logic for reasoning about knowledge and topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic epistemic logic / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:13, 2 July 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