A sequent calculus for propositional temporal logic with time gaps

MaRDI QIDQ2791888zbMATH OpenFDO

Authors Romas Alonderis

Publication date 16 March 2016

Published in Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

Kripke semantics internalizationsequent calculustemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Structure of proofs (03F07)

Recommendations

• Proof-theoretical investigation of temporal logic with time gaps
• scientific article; zbMATH DE number 1678387
• Partial cut elimination for propositional discrete linear time temporal logic
• Cut-free sequent calculi for some tense logics
• Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps

Cited in

(7)

• Completeness of a first-order temporal logic with time-gaps
• Glivenko classes of sequents for temporal logic with time gaps
• VARIABLE TRUTH
• scientific article; zbMATH DE number 3877151 (Why is no real title available?)
• scientific article; zbMATH DE number 5177771 (Why is no real title available?)
• Proof-theoretical investigation of temporal logic with time gaps
• Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps

This page was built for publication: A sequent calculus for propositional temporal logic with time gaps

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