Minimal-Change Counterfactuals in Intuitionistic Logic.
Ivano CiardelliXinghan LiuPublished in: LORI (2019)
Keyphrases
- intuitionistic logic
- minimal change
- belief revision
- classical logic
- linear logic
- belief change
- causal models
- model theoretic
- reasoning about actions
- action theories
- natural deduction
- logic programming
- update operations
- normal form
- default reasoning
- propositional logic
- situation calculus
- artificial intelligence
- possibility theory
- databases
- fixed point
- integrity constraints
- data model
- database systems