scientific article; zbMATH DE number 3877151

MaRDI QIDQ3344178zbMATH OpenFDO

Authors Kazimierz Trzesicki

Publication date 1984

zbMATH Keywords

tense logiccut eliminationsequent calculus

Mathematics Subject Classification ID

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

Recommendations

• Cut-free sequent calculi for some tense logics
• scientific article; zbMATH DE number 1341473
• scientific article; zbMATH DE number 4170873
• scientific article; zbMATH DE number 1301971
• A sequent calculus for propositional temporal logic with time gaps

Cited in

(9)

• Algebraic axiomatization of tense intuitionistic logic
• A note on the interpolation property in tense logic
• Some System of Predicate Tense Logic
• scientific article; zbMATH DE number 5234118 (Why is no real title available?)
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Termination of derivations for minimal tense logic
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• In What Sense is J.N. Findlay the Founding Father of Tense-logic?
• scientific article; zbMATH DE number 1163393 (Why is no real title available?)

This page was built for publication:

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