Multi-agent dynamic logics with informational test
From MaRDI portal
Recommendations
Cited in
(7)- Decidability: theorems and admissible rules
- Logics of informational attitudes and informative actions
- scientific article; zbMATH DE number 1931647 (Why is no real title available?)
- Interactions between knowledge, action and commitment within agent dynamic logic
- Inference rules in multi-agents' temporal logics
- On combinations of propositional dynamic logic and doxastic modal logics
- Where logic and agents meet
This page was built for publication: Multi-agent dynamic logics with informational test
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q702100)