First-Order and Temporal Logics for Nested Words.
Rajeev AlurMarcelo ArenasPablo BarcelóKousha EtessamiNeil ImmermanLeonid LibkinPublished in: Log. Methods Comput. Sci. (2008)
Keyphrases
- mazurkiewicz traces
- temporal logic
- linear temporal logic
- model checking
- satisfiability problem
- temporal epistemic
- n gram
- modal logic
- first order logic
- temporal knowledge
- concurrent systems
- belief revision
- verification method
- keywords
- np complete
- predicate logic
- transition systems
- special case
- bounded model checking
- natural language
- search algorithm