Finite model property in weakly transitive tense logics

DOI10.1007/s11225-022-10027-0OpenAlexW4309194047MaRDI QIDQ2698279

Minghui Ma, Qi'an Chen

Publication date: 21 April 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-022-10027-0

zbMATH Keywords

tense logicfinite model propertyweak transitivity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to subframe logics. Modal case
• Intuitionistic logic and modality via topology
• Some results on modal axiomatization and definability for topological spaces
• Even more about the lattice of tense logics
• A counterexample in tense logic
• Lattices of finitely alternative normal tense logics
• The algebra of topology
• Spectral and T 0-Spaces in d-Semantics
• Handbook of Spatial Logics
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
• Properties of independently axiomatizable bimodal logics
• Canonical formulas for K4. Part III: the finite model property
• The finite model property in tense logic

This page was built for publication: Finite model property in weakly transitive tense logics