scientific article; zbMATH DE number 5955763

MaRDI QIDQ3173797zbMATHFDO

Authors Romas Alonderis

Publication date 10 October 2011

Mathematics Subject Classification ID

Temporal logic (03B44)

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

Cited in

(3)

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

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)