Tense Logic Without Tense Operators

DOI10.1002/malq.19960420113zbMath0858.03019OpenAlexW2058832382MaRDI QIDQ4879194

Frank Wolter

Publication date: 19 March 1997

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

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

zbMATH Keywords

completenessdecidabilityaxiomatizabilityweak orderingslattice of normal tense logics

Mathematics Subject Classification ID

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

Related Items (9)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ The structure of lattices of subframe logics ⋮ A note on the interpolation property in tense logic ⋮ Completeness and decidability of tense logics closely related to logics above K4 ⋮ Modal logics that need very large frames ⋮ A counterexample in tense logic ⋮ Canonical rules ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete

Cites Work

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Canonical formulas for K4. Part I: Basic results
• The logical consequence relation of propositional tense logic
• Completeness and decidability of tense logics closely related to logics above K4

This page was built for publication: Tense Logic Without Tense Operators