Model theory for modal logic. Kripke models for modal predicate calculi
type: Item
instance of: scholarly article
title: Model theory for modal logic. Kripke models for modal predicate calculi
zbMATH Open document ID: 0395.03022
author: Kenneth A. Bowen
published in: Synthese Library
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03Cxx
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 3613018
zbMATH Keywords: Loewenheim-Skolem Theorem
zbMATH Keywords: Relational Structure
zbMATH Keywords: Omitting Tyes
zbMATH Keywords: Modal Predicate Calculi
zbMATH Keywords: Model Extensions
zbMATH Keywords: Completeness
zbMATH Keywords: Modal Logics
zbMATH Keywords: Kripke Models
zbMATH Keywords: Ultrafilter
zbMATH Keywords: Inductive Definition
zbMATH Keywords: Tableaux Method
zbMATH Keywords: Possible Worlds
zbMATH Keywords: Interpolation
zbMATH Keywords: Compactness
zbMATH Keywords: Two-Cardinal Theorem
zbMATH Keywords: Ultraproducts
zbMATH Keywords: Semantic
zbMATH Keywords: Consistency
zbMATH Keywords: Direct Limits
zbMATH Keywords: Forcing
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3613018