Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.
Volker WeispfenningPublished in: CADE (1986)
Keyphrases
- upper bound
- dynamic logic
- modal operators
- imperative programs
- modal logic
- agent programming
- reasoning about actions
- recursively enumerable
- recursive functions
- inductive inference
- real valued functions
- propositional dynamic logic
- first order logic
- belief revision
- neural network
- special case
- pattern recognition
- feature selection