A composable language for action models

MaRDI QIDQ4636294zbMATH OpenFDO

Authors James Hales, Edwin Tay, Tim French

Publication date 23 April 2018

Full work available at URL https://arxiv.org/abs/1406.2103

zbMATH Keywords

action model logicdoxastic logicepistemic logicmodal logicmulti-agent systemtemporal epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• Composing models
• Arbitrary action model logic and action model synthesis
• scientific article; zbMATH DE number 2048605
• Action emulation between canonical models
• Two components of an action language

Cited in

(12)

• A general theory of action languages
• Private announcements on topological spaces
• Arrow update synthesis
• Action language Hybrid AL
• Action emulation between canonical models
• Composing models
• Announcements to attentive agents
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Arbitrary action model logic and action model synthesis
• Copy and remove as dynamic operators
• Advances in Artificial Intelligence
• To be announced

This page was built for publication: A composable language for action models

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