A Fragment of Intuitionistic Dynamic Logic.
Sergio A. CelaniPublished in: Fundam. Informaticae (2001)
Keyphrases
- real valued
- dynamic logic
- interval valued
- modal logic
- reasoning about actions
- imperative programs
- agent programming
- theorem prover
- linear logic
- classical logic
- classical first order logic
- propositional dynamic logic
- fuzzy set theory
- first order logic
- multiple input
- fuzzy numbers
- fuzzy sets
- general purpose
- neural network