A counterexample in tense logic

DOI10.1305/ndjfl/1040046085zbMath0866.03007OpenAlexW2083392683WikidataQ124988834 ScholiaQ124988834MaRDI QIDQ1815425

Frank Wolter

Publication date: 26 June 1997

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040046085

zbMATH Keywords

modal logictense logicfinite model propertyKripke completenessminimal tense extension

Mathematics Subject Classification ID

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

Related Items (4)

The structure of lattices of subframe logics ⋮ Inverse images of box formulas in modal logic ⋮ Finite model property in weakly transitive tense logics ⋮ Fibring: completeness preservation

Cites Work

• Logics containing K4. Part II
• Canonical formulas for K4. Part I: Basic results
• Completeness and decidability of tense logics closely related to logics above K4
• Logics containing K4. Part I
• The finite model property in tense logic
• Tense Logic Without Tense Operators

This page was built for publication: A counterexample in tense logic