About intuitionistic public announcement logic.
Philippe BalbianiDidier GalmichePublished in: Advances in Modal Logic (2016)
Keyphrases
- linear logic
- fuzzy set theory
- interval valued
- fuzzy numbers
- fuzzy information
- theorem prover
- classical logic
- fuzzy sets
- logical framework
- cut elimination
- natural deduction
- fuzzy relations
- real valued
- representation scheme
- rough set theory
- computational intelligence
- probabilistic model
- natural language
- reinforcement learning
- high level
- artificial intelligence
- real time