On Modal Products with the Logic of 'Elsewhere'.
Christopher HampsonAgi KuruczPublished in: Advances in Modal Logic (2012)
Keyphrases
- modal logic
- nonmonotonic logics
- multi valued
- classical logic
- dynamic logic
- temporal logic
- modal operators
- inference rules
- default logic
- information systems
- epistemic logic
- logic programming
- defeasible logic
- predicate logic
- propositional variables
- product line
- market share
- asynchronous circuits
- customer requirements
- real time
- long tail
- set theory
- computational properties
- product design
- nonmonotonic reasoning
- description logics
- expert systems
- artificial intelligence
- neural network