scientific article; zbMATH DE number 1361487

MaRDI QIDQ4699305zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 27 August 2000

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)

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:

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