Instantial Neighbourhood Logic.
Johan van BenthemNick BezhanishviliSebastian EnqvistJunhua YuPublished in: Rev. Symb. Log. (2017)
Keyphrases
- logic programming
- modal logic
- classical logic
- sound and complete axiomatization
- asynchronous circuits
- deontic logic
- epistemic logic
- data sets
- information systems
- relational databases
- knowledge representation
- expert systems
- image processing
- formal theory
- abductive reasoning
- data mining
- databases
- linear logic
- real time