Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages.
Bharat AdsulPaul GastinShantanu KulkarniPascal WeilPublished in: CoRR (2024)
Keyphrases
- propositional dynamic logic
- reasoning about actions
- language independent
- context free
- dynamic logic
- text summarization
- multi lingual
- regular languages
- expressive power
- singular value decomposition
- cross lingual
- asynchronous circuits
- target language
- decomposition methods
- databases
- regular expressions
- object detection