Logical tools for handling change in agent-based systems

zbMATH Open1215.68219arXiv0811.0074MaRDI QIDQ3648680FDOQ3648680

Authors: Dov Gabbay, K. Schlechta 

Publication date: 1 December 2009

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

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

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

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)

Cited In (3)

• Semantic interpolation
• Title not available (Why is that?)
• 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)