Hybrid logics: Characterization, interpolation and complexity (Q2758042)
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: Hybrid logics: Characterization, interpolation and complexity |
scientific article; zbMATH DE number 1679316
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid logics: Characterization, interpolation and complexity |
scientific article; zbMATH DE number 1679316 |
Statements
30 April 2002
0 references
hybrid language
0 references
expressiveness
0 references
bisimulation
0 references
interpolation property
0 references
complexity
0 references
decidability
0 references
modal logic
0 references
Hybrid logics: Characterization, interpolation and complexity (English)
0 references
In the paper a hybrid modal language \({\mathcal H}(\downarrow, \@)\), corresponding to the fragment of first-order logic which is invariant for generated submodels, is considered. The language enjoys the strong interpolation property. Complexity results for fragments of \({\mathcal H}(\downarrow, \@)\) are given and undecidability results for the whole language are sharpened.
0 references
