Model theory for modal logic. Kripke models for modal predicate calculi (Q1252850): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 03:41, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model theory for modal logic. Kripke models for modal predicate calculi |
scientific article |
Statements
Model theory for modal logic. Kripke models for modal predicate calculi (English)
0 references
1979
0 references
Loewenheim-Skolem Theorem
0 references
Relational Structure
0 references
Omitting Tyes
0 references
Modal Predicate Calculi
0 references
Model Extensions
0 references
Completeness
0 references
Modal Logics
0 references
Kripke Models
0 references
Ultrafilter
0 references
Inductive Definition
0 references
Tableaux Method
0 references
Possible Worlds
0 references
Interpolation
0 references
Compactness
0 references
Two-Cardinal Theorem
0 references
Ultraproducts
0 references
Semantic
0 references
Consistency
0 references
Direct Limits
0 references
Forcing
0 references
