Properties of Tense Logics

DOI10.1002/MALQ.19960420140MaRDI QIDQ5687411zbMATH OpenOpenAlexFDO

Authors F. Wolter

Publication date 12 December 1996

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420140

zbMATH Keywords

finite model propertyKripke completenesspersistencystrong completenesstense logics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Cited in

(12)

• Finite trees in tense logic
• A note on the interpolation property in tense logic
• Termination of derivations for minimal tense logic
• Some System of Predicate Tense Logic
• scientific article; zbMATH DE number 1163393 (Why is no real title available?)
• Erdős Graphs Resolve Fine's Canonicity Problem
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• On canonicity and completions of weakly representable relation algebras
• In What Sense is J.N. Findlay the Founding Father of Tense-logic?
• Tabularity and post-completeness in tense logic
• Canonicity in power and modal logics of finite achronal width
• A non-uniform view of Craig interpolation in modal logics with linear frames

This page was built for publication: Properties of Tense Logics

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