Levels of modality for BDI logic

DOI10.1016/J.JAL.2011.08.002zbMATH Open1248.68469OpenAlexW2084876643WikidataQ58176826 ScholiaQ58176826MaRDI QIDQ456714FDOQ456714

Authors: Jeff Blee, David Billington, Guido Governatori, Abdul Sattar 

Publication date: 16 October 2012

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/42852

Recommendations

• Multi-dimensional modal logic
• Level logics
• A logic of separating modalities
• Modal multilattice logic
• scientific article; zbMATH DE number 823607
• Types for Proofs and Programs
• Modalities in vector logic
• MEREOLOGICAL BIMODAL LOGICS
• Modal bilattice logic and its extensions

zbMATH Keywords

beliefmodal logicagentsBDI agentsgoalsreasoning about belief and knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A computationally grounded logic of visibility, perception, and knowledge
• Decision procedures for BDI logics
• A logic for ignorance
• Representation results for defeasible logic
• Title not available (Why is that?)
• Defeasible Logic is Stable
• Title not available (Why is that?)
• Multi-Agent Programming
• Computational Logic in Multi-Agent Systems

Cited In (5)

• Semantical considerations on intention dynamics for BDI agents
• Logic and agent programming languages
• Sequent calculus usage for BDI agent implementation
• Logical theories of intention and the database perspective
• Deduction systems for BDI logics with mental state consistency

Uses Software

• AgentSpeak
• Jason

This page was built for publication: Levels of modality for BDI logic

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