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

DOI10.1093/JIGPAL/JZV002zbMATH Open1405.03075OpenAlexW2047256040MaRDI QIDQ4644522FDOQ4644522

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

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

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)

Cited In (3)

• Tiered logic for agents in contexts
• Title not available (Why is that?)
• 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)