First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
Alessandro ArtaleAndrea MazzulloAna OzakiPublished in: CoRR (2022)
Keyphrases
- temporal logic
- mazurkiewicz traces
- semantic properties
- satisfiability problem
- guarded fragment
- computation tree logic
- linear temporal logic
- automata theoretic
- model checking
- computational properties
- expressive power
- semantic knowledge
- modal logic
- linear time temporal logic
- function symbols
- first order logic
- bounded model checking
- logic programming
- logic programs
- databases
- belief revision
- reactive systems
- verification method
- domain knowledge
- artificial intelligence