Minimizing agent specifications using a logic of knowledge and actions

DOI10.1093/LOGCOM/11.2.337zbMATH Open0986.68142OpenAlexW2085726028MaRDI QIDQ2720318

Gilbert Ndjatou

Publication date: 2001

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/11.2.337

zbMATH Keywords

propositional dynamic logicpropositional logic of knowledge and actions

Mathematics Subject Classification ID

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

This page was built for publication: Minimizing agent specifications using a logic of knowledge and actions

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