scientific article; zbMATH DE number 1222483

MaRDI QIDQ4218014zbMATH OpenFDO

Authors B. Jack Copeland

Publication date 11 November 1998

zbMATH Keywords

\(U\)-calculicomputational applicationstense logictense tree methodtree systems

Mathematics Subject Classification ID

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

Recommendations

• Finite trees in tense logic
• Cut-free sequent calculi for some tense logics
• scientific article; zbMATH DE number 1301971
• The temporal logic of branching time

Cited in

(2)

• Finite trees in tense logic
• scientific article; zbMATH DE number 4045714 (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 Q4218014)