![Modal logic / Model theory / Symbol / Kripke semantics / Epistemic modal logic / Interpretation / Dynamical system / Logic / Mathematical logic / Philosophical logic Modal logic / Model theory / Symbol / Kripke semantics / Epistemic modal logic / Interpretation / Dynamical system / Logic / Mathematical logic / Philosophical logic](https://www.pdfsearch.io/img/4ef0a972cb3ef96c259b17edd0da4b18.jpg) Date: 2013-08-20 15:39:34Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic | | Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1Add to Reading ListSource URL: www.public.asu.eduDownload Document from Source Website File Size: 693,39 KBShare Document on Facebook
|