scientific article; zbMATH DE number 3877151

zbMATH Open0551.03011MaRDI QIDQ3344178FDOQ3344178

Authors: Kazimierz Trzesicki 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

tense logiccut eliminationsequent calculus

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic axiomatization of tense intuitionistic logic
• Some System of Predicate Tense Logic
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Termination of derivations for minimal tense logic
• In What Sense is J.N. Findlay the Founding Father of Tense-logic?
• A note on the interpolation property in tense logic
• Title not available (Why is that?)

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)