The finite model property in tense logic

DOI10.2307/2275755zbMath0836.03015OpenAlexW2160171357MaRDI QIDQ4858814

Frank Wolter

Publication date: 19 December 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275755

zbMATH Keywords

tense logicfinite model propertybimodal propositional language

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (10)

The structure of lattices of subframe logics ⋮ Completeness and decidability of tense logics closely related to logics above K4 ⋮ Finite model property in weakly transitive tense logics ⋮ Modal logics that need very large frames ⋮ On Finite Model Property for Admissible Rules ⋮ Editors' introduction to the special issue on combining logics ⋮ A counterexample in tense logic ⋮ On logics with coimplication ⋮ Lattices of finitely alternative normal tense logics ⋮ On the Blok-Esakia Theorem

Cites Work

• Even more about the lattice of tense logics
• Logics containing K4. Part II
• Properties of independently axiomatizable bimodal logics
• Canonical formulas for K4. Part I: Basic results

This page was built for publication: The finite model property in tense logic