A set-theoretic translation method for polymodal logics (Q1904398)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A set-theoretic translation method for polymodal logics |
scientific article |
Statements
A set-theoretic translation method for polymodal logics (English)
0 references
20 December 1995
0 references
The paper presents a translation of mono- and polymodal logics into a rather weak first-order set theory. It is proved that the translation is an embedding for finitely axiomatizable logics which are complete with respect to Kripke semantics (but not necessarily first-order definable).
0 references
translation
0 references
polymodal logics
0 references
weak first-order set theory
0 references
embedding
0 references
finitely axiomatizable logics
0 references
Kripke semantics
0 references
0 references
