Dynamic logics for explicit and implicit information

DOI10.1007/978-3-642-04893-7_31zbMATH Open1196.03026OpenAlexW1553439336MaRDI QIDQ3655243FDOQ3655243

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)