Little Tricky Logic: Misconceptions in the Understanding of LTL.
Ben GreenmanSam SaarinenTim NelsonShriram KrishnamurthiPublished in: Art Sci. Eng. Program. (2023)
Keyphrases
- linear temporal logic
- bounded model checking
- linear time temporal logic
- temporal logic
- model checking
- deeper understanding
- modal logic
- classical logic
- logic programming
- automated reasoning
- genetic algorithm
- formal verification
- defeasible logic
- proof theory
- transition systems
- logic programs
- description logics
- expert systems