Noncompact extensions of the logic S4
type: Item
instance of: scholarly article
title: Noncompact extensions of the logic S4
zbMATH Open document ID: 0413.03013
DOI: 10.1007/BF01669284
published in: Algebra and Logic
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C65
zbMATH DE Number: 3641413
zbMATH Keywords: noncompact recursively axiomatizable extensions of S4
zbMATH Keywords: modal logic
zbMATH Keywords: finite model property
author: Vladimir Rybakov
MaRDI profile type: Publication
cites work: Q4041543
cites work: An ascending chain of S4 logics
cites work: An incomplete logic containing S4
cites work: An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
cites work: Some relational systems and the associated topological spaces
cites work: Algebraic semantics for modal logics I
cites work: Noncompactness in propositional modal logic
cites work: An incompleteness theorem in modal logic
description: scientific article; zbMATH DE number 3641413