Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem
Peter H. SchmittPublished in: Inf. Control. (1984)
Keyphrases
- dynamic logic
- modal operators
- modal logic
- recursively enumerable
- reasoning about actions
- inductive inference
- recursive functions
- imperative programs
- real valued functions
- propositional dynamic logic
- temporal logic
- first order logic
- relational databases
- machine learning
- learning tasks
- hypothesis space
- special case
- feature space
- pattern recognition