First-Order and Temporal Logics for Nested Words
Rajeev AlurMarcelo ArenasPablo BarcelóKousha EtessamiNeil ImmermanLeonid LibkinPublished in: CoRR (2008)
Keyphrases
- mazurkiewicz traces
- temporal logic
- linear temporal logic
- model checking
- modal logic
- satisfiability problem
- temporal epistemic
- predicate logic
- transition systems
- bounded model checking
- keywords
- belief revision
- verification method
- concurrent systems
- n gram
- computation tree logic
- artificial intelligence
- reactive systems
- image sequences