Hybrid languages (Q1909610)
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 languages |
scientific article; zbMATH DE number 856769
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid languages |
scientific article; zbMATH DE number 856769 |
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
