Tabularity and post-completeness in tense logic
type: Item
instance of: scholarly article
title: Tabularity and post-completeness in tense logic
author: Qian Chen
author: Minghui Ma
published in: The Review of Symbolic Logic
publication date: 2024-06-08T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7861979
zbMATH Keywords: tense logic
zbMATH Keywords: tabularity
zbMATH Keywords: post-completeness
MaRDI profile type: Publication
cites work: Modal logic
cites work: Pretabular varieties of modal algebras
cites work: Q4474858
cites work: Q3128959
cites work: Q4636040
cites work: Even more about the lattice of tense logics
cites work: Lattices of finitely alternative normal tense logics
cites work: Some embedding theorems for modal logic
cites work: Post Completeness and Ultrafilters
cites work: Pretabular extensions of Lewis S4
cites work: Q4198726
cites work: Post completeness in modal logic
cites work: The truth about some Post numbers
cites work: Semantic analysis of tense logics
cites work: The finite model property in tense logic
cites work: A counterexample in tense logic
cites work: Properties of Tense Logics
cites work: Tense Logic Without Tense Operators
cites work: Completeness and decidability of tense logics closely related to logics above K4
cites work: The structure of lattices of subframe logics
cites work: Q4789450
DOI: 10.1017/S1755020322000132
description: scientific article; zbMATH DE number 7861979