Inference and Proof

---

Basic papers Further directions

Inference plays a crucial role in the design of dynamic-epistemic logics since these describe valid laws of information update of various kinds. But logical inference is also a dynamic act in itself which changes a current information state of the reasoning agent. Dynamic-epistemic approaches to inference can represent such acts explicitly.

 

---

Basic papers

⇥

• Johan van Benthem, Fernando R. Velázquez-Quesada. The dynamics of awareness. Synthese (Knowledge, Rationality and Action), 177(Supplement 1):5-27, 2010. Prepublication version available.

 

---

Further directions

↑   ↟   ⇥

• Paolo Maffezioli, Sara Negri. A proof-theoretical perspective on Public Announcement Logic. In Logic and Philosophy of Science vol. 9, 49-59, 2011.
• Fernando R. Velázquez-Quesada. Explicit and Implicit Knowledge in Neighbourhood Models. In Logic, Rationality, and Interaction (LORI 2013), 239-252, Springer, 2013. Prepublication version available.
• Bryan Renne. Multi-agent justification logic: Communication and evidence elimination. Synthese, 185(Supplement 1):43-82, 2014.
• Fernando R. Velázquez-Quesada. Dynamic Epistemic Logic for Implicit and Explicit Beliefs. Journal of Logic, Language and Information, 23(2):107-140, 2014. Prepublication version available.
• Chenwei Shi. Multi-Agent Epistemic Argumentation Logic. In Proceedings of the ESSLLI 2016 Student Session, 111-122, 2016.
• Olivier Roy, Ole Thomassen Hjortland. Dynamic consequence for soft information. Journal of Logic and Computation, 26(6):1843-1864, 2016.