Logic vs Topology on Regular ømega-languages.
Vladislav OrekhovskiiVictor L. SelivanovPublished in: CiE (2023)
Keyphrases
- expressive power
- context free
- formal language
- computational properties
- language independent
- highly expressive
- logic programming
- modal logic
- cross lingual
- proof theory
- classical logic
- sound and complete axiomatization
- data sets
- programs written
- multi lingual
- predicate logic
- text classification
- programming language
- databases