A propositional dense time logic

DOI10.1007/3-540-56610-4_91zbMATH Open1497.03034OpenAlexW1854014853MaRDI QIDQ5044765FDOQ5044765

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

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

Mathematics Subject Classification ID

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

Cites Work

• Decidability of Second-Order Theories and Automata on Infinite Trees
• Temporal logic can be more expressive
• Title not available (Why is that?)
• The temporal logic of branching time
• Title not available (Why is that?)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Deterministic propositional dynamic logic: finite models, complexity, and completeness

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)