A topological generalization of propositional linear time temporal logic

DOI10.1007/BFB0029972MaRDI QIDQ4699305zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 27 August 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0029972

zbMATH Keywords

axiomatizationcomplexitydecidabilitylinear time temporal logiclogic of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

The author combines a logic of knowledge (the modal system S5) with the propositional linear time temporal logic. The operators of time and knowledge are combined by means of a cross axiom, which allows that topological concepts come into play. As the author claims, the obtained logical language could be suitable for specification of linear time properties of programs involving knowledge. A sound and complete axiomatization with respect to the class of pseudo-linear subset spaces is provided. Moreover, decidability of the set of theorems, and PSPACE-hardness of the satisfiability problem are shown. For the entire collection see [Zbl 0920.00047].

Recommendations

• Temporal aspects of the modal logic of subset spaces
• scientific article; zbMATH DE number 1215464
• scientific article; zbMATH DE number 1107651

Cited in

(5)

• Reusing topological nexttime logic
• A propositional linear time logic with time flow isomorphic to ^2
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
• scientific article; zbMATH DE number 1215464 (Why is no real title available?)

This page was built for publication: A topological generalization of propositional linear time temporal logic

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