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

modal logicnonmonotonic logiccomparison of logicgraph-theoretic formalismreactive diagrams

Mathematics Subject Classification ID

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

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)