First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
Alessandro ArtaleAndrea MazzulloAna OzakiPublished in: ACM Trans. Comput. Log. (2024)
Keyphrases
- temporal logic
- mazurkiewicz traces
- semantic properties
- computation tree logic
- satisfiability problem
- guarded fragment
- linear temporal logic
- automata theoretic
- model checking
- computational properties
- linear time temporal logic
- modal logic
- semantic knowledge
- expressive power
- function symbols
- first order logic
- verification method
- belief revision
- bounded model checking
- formal specification
- transition systems
- database
- situation calculus
- domain knowledge
- keywords
- database systems
- knowledge base