A propositional dense time logic

DOI10.1007/3-540-56610-4_91MaRDI QIDQ5044765zbMATH OpenOpenAlexFDO

Authors Mohsin Ahmed, G. S. Venkatesh

Publication date 2 November 2022

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

Full work available at URL https://doi.org/10.1007/3-540-56610-4_91

Mathematics Subject Classification ID

Logic programming (68N17) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Dense time logic programming
• A really temporal logic
• Dynamic linear time temporal logic
• A hierarchical analysis of propositional temporal logic based on intervals
• Probabilistic propositional temporal logics

Cites work

• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Deterministic propositional dynamic logic: finite models, complexity, and completeness
• Temporal logic can be more expressive
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The temporal logic of branching time

Cited in

(3)

• Temporal Assertions with Parametrized Propositions
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• A propositional modal logic of time intervals

This page was built for publication: A propositional dense time logic

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