A counterexample in tense logic

DOI10.1305/NDJFL/1040046085MaRDI QIDQ1815425zbMATH OpenOpenAlexWikidataFDO

Authors F. 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

finite model propertyKripke completenessminimal tense extensionmodal logictense logic

Mathematics Subject Classification ID

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

Review text

The paper presents an (infinitely axiomatizable) normal modal logic containing K4 which has the finite model property and the minimal tense extension of which is Kripke incomplete.

Cites work

• 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
• Logics containing K4. Part II
• Tense Logic Without Tense Operators
• The finite model property in tense logic

Cited in

(6)

• The structure of lattices of subframe logics
• Finite model property in weakly transitive tense logics
• Fibring: Completeness preservation
• Inverse images of box formulas in modal logic
• scientific article; zbMATH DE number 1163393 (Why is no real title available?)
• Tabularity and post-completeness in tense logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815425)