Generalizing the modal and temporal logic of linear time

DOI10.1007/3-540-45499-3_6MaRDI QIDQ2767162zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 28 January 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45499-3_6

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Linear Tense Logics of Increasing Sets
• The temporal logic of branching time
• The complexity of the temporal logic with ``until over general linear time
• scientific article; zbMATH DE number 4033710
• Hybrid Systems: Computation and Control

Cited in

(14)

• A propositional linear time logic with time flow isomorphic to ^2
• The temporal logic of linear time frames with inductions axiom
• Polymodal logic of the class of inductive linear time frames
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Linear Tense Logics of Increasing Sets
• Functional systems in the context of temporal×modal logics with indexed flows
• On sets growing continuously
• The Unrestricted Combination of Temporal Logic Systems
• Hybrid Systems: Computation and Control
• Generalization of some properties of relations in the context of functional temporal×modal logic
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• Admissible generalisation of temporal sequences as chronicles
• A note on the logic of eventual permanence for linear time

This page was built for publication: Generalizing the modal and temporal logic of linear time

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