scientific article; zbMATH DE number 5955763
From MaRDI portal
Publication:3173797
zbMATH Open1244.03060MaRDI QIDQ3173797FDOQ3173797
Publication date: 10 October 2011
Title of this publication is not available (Why is that?)
Cited In (2)
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 π π
- Title not available (Why is that?) π π
- 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 π π
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)
