Dynamic logics for explicit and implicit information

DOI10.1007/978-3-642-04893-7_31MaRDI QIDQ3655243zbMATH OpenOpenAlexFDO

Authors Fernando Raymundo Velázquez-Quesada

Publication date 7 January 2010

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04893-7_31

Mathematics Subject Classification ID

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

Recommendations

• Dynamic epistemic logic for implicit and explicit beliefs
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• A dynamic informational-epistemic logic
• Dynamic epistemic logics
• Logic of information flow on communication channels

Cited in

(7)

• Inference and update
• A four-valued dynamic epistemic logic
• A dynamic informational-epistemic logic
• Dynamic epistemic logic for implicit and explicit beliefs
• A multi-agent depth bounded Boolean logic
• scientific article; zbMATH DE number 1759365 (Why is no real title available?)
• Observational interpretations of hybrid dynamic logic with binders and silent transitions

This page was built for publication: Dynamic logics for explicit and implicit information

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