scientific article; zbMATH DE number 1361487

zbMATH Open0943.03016MaRDI QIDQ4699305

Bernhard Heinemann

Publication date: 27 August 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

complexitydecidabilityaxiomatizationlogic of knowledgelinear time temporal logic

Mathematics Subject Classification ID

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

Related Items (2)

On Topologically Relevant Fragments of the Logic of Linear Flows of Time ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\)

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)