Logics modulo theories: a logical framework for multi-agent systems

DOI10.1093/JIGPAL/JZV002MaRDI QIDQ4644522zbMATH OpenOpenAlexFDO

Authors Lito Perez Cruz, John N. Crossley

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzv002

zbMATH Keywords

SMTlogic engineeringlogic of contextontology frameworks

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Combined logics (03B62) Logic in computer science (03B70)

Recommendations

• Where logic and agents meet
• Term-modal logics
• A modal logic framework for multi-agent belief fusion
• scientific article; zbMATH DE number 1612553
• scientific article; zbMATH DE number 1773056

Cited in

(3)

• scientific article; zbMATH DE number 1231561 (Why is no real title available?)
• Tiered logic for agents in contexts
• A logic-based approach to incremental reasoning on multi-agent systems

This page was built for publication: Logics modulo theories: a logical framework for multi-agent systems

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