Sahlqvist formulas in hybrid polyadic modal logics (Q2772884)
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: Sahlqvist formulas in hybrid polyadic modal logics |
scientific article; zbMATH DE number 1708382
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sahlqvist formulas in hybrid polyadic modal logics |
scientific article; zbMATH DE number 1708382 |
Statements
19 February 2002
0 references
hybrid polyadic modal logics
0 references
Sahlqvist formulas
0 references
nominals
0 references
universal modality
0 references
first-order definability
0 references
Sahlqvist formulas in hybrid polyadic modal logics (English)
0 references
Sahlqvist formulas are defined for hybrid polyadic modal languages containing nominals and universal modality operators. Particular attention is paid to reversive polyadic languages, closed under all `inverses' of polyadic modalities. In such languages the minimal valuations arising in the computation of the first-order equivalents of polyadic Sahlqvist formulas are definable and that makes the proof of first-order definability and canonicity of these formulas a simple syntactic exercise.
0 references
