Hybrid languages (Q1909610)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid languages |
scientific article |
Statements
Hybrid languages (English)
0 references
17 March 1996
0 references
Settling that the modal language is one of the means describing relational structures, the authors enrich it by operators explicitly ``speaking'' about some properties of these structures. Expressive relations of the obtained languages become clear. It is proved that logics of the subtended semantics of the languages are undecidable and make it possible ``to feel'' finiteness of a model.
0 references
modal logic
0 references
expressive relations
0 references
relational structures
0 references
semantics
0 references
undecidable
0 references
finiteness of a model
0 references
