Logic in India - Editorial Introduction.
Hans van DitmarschRohit ParikhRamaswamy RamanujamPublished in: J. Philos. Log. (2011)
Keyphrases
- special issue
- modal logic
- multi valued
- asynchronous circuits
- data model
- logic programming
- developing countries
- classical logic
- government services
- propositional dynamic logic
- data sets
- linear temporal logic
- nonmonotonic logics
- defeasible logic
- probabilistic logic
- automated reasoning
- temporal logic
- expert systems
- decision making
- social networks
- databases