Logical tools for handling change in agent-based systems
arXiv:0811.0074
Abstract
We give a unified approach to various results and problems of nonclassical logics
arXiv:0811.0074
We give a unified approach to various results and problems of nonclassical logics