Logical tools for handling change in agent-based systems

zbMath1215.68219arXiv0811.0074MaRDI QIDQ3648680

Dov M. Gabbay, Karl Schlechta

Publication date: 1 December 2009

Full work available at URL: https://arxiv.org/abs/0811.0074

zbMATH Keywords

modal logicnonmonotonic logiccomparison of logicgraph-theoretic formalismreactive diagrams

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Semantic interpolation ⋮ Information, possible worlds and the cooptation of scepticism

This page was built for publication: Logical tools for handling change in agent-based systems