Complexity of logics for multi-agent systems with restricted modal context

DOI10.1093/JIGPAL/JZR040zbMath1277.68255OpenAlexW2048592740MaRDI QIDQ4925177

Marcin Dziubiński

Publication date: 11 June 2013

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

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

zbMATH Keywords

modal logicsatisfiabilitymulti-agent systemsmodal context restriction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Combined logics (03B62)

This page was built for publication: Complexity of logics for multi-agent systems with restricted modal context