Modal logic and model theory (Q1080411): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Model theory for modal logic. Kripke models for modal predicate calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-Order Modal Theories I--Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order modal theories. III: Facts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Investigations in modal and tense logics with applications to problems in philosophy and linguistics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing, arithmetic, division rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank | |||
Normal rank |
Revision as of 15:29, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal logic and model theory |
scientific article |
Statements
Modal logic and model theory (English)
0 references
1984
0 references
The authors attempt to establish a bridge between first order modal logic and classical model theory by means of a new modal system, QS4E, obtained by adding to the first order modal system QS4 a ''rigidity axiom'' scheme, \(A\to LA\), where A is any basic formula, i.e., an atomic formula or its negation. Theorems of completeness and compactness are proved for QS4E. In the semantics for QS4E, possibility, MA, is interpreted as the possibility of extending a given model to another model in which A holds. This allows the authors to express some important concepts of classical model theory, which cannot be expressed in classical first order logic, e.g. existential completeness and the notion of being infinitely generic; and they can prove some well-known results of classical model theory. Since the model-theoretic concepts can be expressed also in \(L_{\omega_ 1\omega}\), the authors compare the expressive powers of this system and QS4E. Finally, the authors utilize the indicated relationship between modal logic and classical model theory in order to prove some results concerning the rigidity axiom.
0 references
first order modal logic
0 references
QS4E
0 references
rigidity axiom
0 references
completeness
0 references
compactness
0 references
semantics
0 references
possibility
0 references
classical model theory
0 references
existential completeness
0 references
infinitely generic
0 references
0 references