scientific article; zbMATH DE number 5955763

zbMATH Open1244.03060MaRDI QIDQ3173797FDOQ3173797

Authors: Romas Alonderis 

Publication date: 10 October 2011

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

Recommendations

• Completeness of a first-order temporal logic with time-gaps
• Glivenko classes of sequents for temporal logic with time gaps
• A strongly complete axiomatization of intuitionistic temporal logic
• Proof-theoretical investigation of temporal logic with time gaps
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
• scientific article; zbMATH DE number 3968560
• Completeness Theorems for Temporal Logics TΩ and □TΩ
• Completeness of temporal logics over infinite intervals.
• Propositional temporal logics: decidability and completeness
• Decidability and incompleteness results for first-order temporal logics of linear time

Mathematics Subject Classification ID

Temporal logic (03B44)

Cited In (3)

• Glivenko classes of sequents for temporal logic with time gaps
• Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic
• Proof-theoretical investigation of temporal logic with time gaps

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 Q3173797)