Modal correspondence for models (Q1267083)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal correspondence for models |
scientific article |
Statements
Modal correspondence for models (English)
0 references
6 October 1998
0 references
Correspondence theory in modal logic provides results of the following form: a modal formula \(\varphi\) is valid in a frame \(F\) iff a first-order formula \(c_\varphi\) is true in \(F\) regarded as a first-order model. The paper considers a possibility of obtaining similar correspondence results for models. It is shown, in particular, that each frame correspondence result can be extended to a model correspondence result: a model \(M\) satisfies all substitution instances of \(\varphi\) in infinitary modal logic iff \(c_\varphi\) is true in a certain frame uniquely determined by \(M\).
0 references
Kripke frame
0 references
Kripke model
0 references
first-order correspondent
0 references
modal logic
0 references