Model theory for modal logic. Kripke models for modal predicate calculi (Q1252850)
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: Model theory for modal logic. Kripke models for modal predicate calculi |
scientific article; zbMATH DE number 3613018
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model theory for modal logic. Kripke models for modal predicate calculi |
scientific article; zbMATH DE number 3613018 |
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
