Concept

Timed propositional temporal logic

Related ideas

• Finite set
• Propositional variable
• Logical connective
• Model checking
• Temporal logic
• Modal operator
• Computer science
• Linear temporal logic
• Empty set
• Metric temporal logic

Place in the tradition

Part of Temporal logic.

Explore Timed propositional temporal logic in the interactive graph →