The logic of ``initially and ``next: complete axiomatization and complexity

DOI10.1016/S0020-0190(99)00022-8MaRDI QIDQ294659zbMATH OpenOpenAlexFDO

Authors Pierre Yves Schobbens, Jean-François Raskin

Publication date 16 June 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0020019099000228?np=y

zbMATH Keywords

computational complexitytemporal logiccomplete axiomatizationautomatic theorem provingprogram specification

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• The complexity of propositional linear temporal logics
• The complexity of the temporal logic with ``until over general linear time
• Completeness theorem for a first order linear-time logic
• scientific article; zbMATH DE number 17797
• Decidability and incompleteness results for first-order temporal logics of linear time

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 1304994 (Why is no real title available?)
• A complete axiomatic characterization of first-order temporal logic of linear time
• The complexity of propositional linear temporal logics
• The logic of ``initially and ``next: complete axiomatization and complexity

Cited in

(3)

• From LTL to unambiguous Büchi automata via disambiguation of alternating automata
• The logic of ``initially and ``next: complete axiomatization and complexity
• The complexity of propositional linear temporal logics in simple cases

This page was built for publication: The logic of ``initially and ``next: complete axiomatization and complexity

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