Logical tools for handling change in agent-based systems

MaRDI QIDQ3648680zbMATH OpenFDO

Authors Dov Gabbay, K. Schlechta

Publication date 1 December 2009

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

zbMATH Keywords

comparison of logicgraph-theoretic formalismmodal logicnonmonotonic logicreactive diagrams

Mathematics Subject Classification ID

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

Abstract: We give a unified approach to various results and problems of nonclassical logics

Recommendations

• scientific article; zbMATH DE number 5161842
• scientific article; zbMATH DE number 2062337
• Logical foundations for rule-based systems.
• Revision, acceptability and context. Theoretical and algorithmic aspects.
• scientific article; zbMATH DE number 6685485

Cited in

(3)

• Semantic interpolation
• scientific article; zbMATH DE number 2120510 (Why is no real title available?)
• Information, possible worlds and the cooptation of scepticism

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3648680)