Properties of Tense Logics

DOI10.1002/malq.19960420140zbMath0871.03010OpenAlexW2087125280MaRDI QIDQ5687411

Frank 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

persistencyfinite model propertystrong completenessKripke completenesstense logics

Mathematics Subject Classification ID

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

Related Items (3)

On canonicity and completions of weakly representable relation algebras ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Cites Work

• Unnamed Item

This page was built for publication: Properties of Tense Logics