A model existence theorem in infinitary propositional modal logic
type: Item
instance of: scholarly article
title: A model existence theorem in infinitary propositional modal logic
zbMATH Open document ID: 0811.03011
DOI: 10.1007/BF01048686
author: Krister Segerberg
published in: Journal of Philosophical Logic
publication date: 1995-05-01T00:00:00Z
review text: The author generalizes his method of proving the completeness theorem for logics with modal operators which describe truth of the set \(\{\square^ n \varphi\mid n\in\omega\}\) for a statement \(\varphi\). There are applications to various logics: dynamic logic, knowledge logic for many persons etc.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 635845
zbMATH Keywords: modal logic
zbMATH Keywords: relational semantics
zbMATH Keywords: completeness theorem
zbMATH Keywords: dynamic logic
zbMATH Keywords: knowledge logic
reviewed by: Alexander Vasil'evich Chagrov
MaRDI profile type: Publication
cites work: Logics containing K4. Part I
cites work: Axiomatising the logic of computer programming
cites work: Q3773852
cites work: First-order dynamic logic
cites work: Q3337453
cites work: A completeness proof for an infinitary tense-logic
description: scientific article; zbMATH DE number 635845