One is a Lonely Number: on the logic of communication

By J. Benthem. 2003

149 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/5fcb7e4eedb76e3ab4a857720b00d441835f980d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. J. Benthem
2. Hans van Ditmarsch
3. Fenrong Liu
4. Barteld P. Kooi
5. Jan van Eijck
6. Wiebe van der Hoek
7. Alexandru Baltag
8. Sonja Smets

Citations in the corpus

• Logics of communication and change (2006, methodology): “The proof system for EL–RC is complete (Theorem 9), and every formula in LPAL RC is provably equivalent to its translation in LEL RC, given the reduction axioms.”
• Dynamic Epistemic Logic (2007, background): “As discussed in [4], this means that certain schematically valid laws of update need not be derivable from our axioms in an explicit schematic manner, even though all their concrete instances will be by our completeness theorem.”
• Dynamic logic of preference upgrade (2007, background): “E .g., just saying that the agent sees some better world where ϕ holds seems too weak, while the universal modality [ pref ] i ϕ ‘in all better worlds’ seems much too strong.”