A First-Order Complete Temporal Logic for Structured Context-Free Languages.
Michele ChiariDino MandrioliMatteo PradellaPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- temporal logic
- context free languages
- linear temporal logic
- mazurkiewicz traces
- model checking
- context free
- modal logic
- grammatical inference
- context free grammars
- finite state
- regular languages
- belief revision
- context sensitive
- relational databases
- structured data
- software engineering
- information extraction
- search space