"One is a lonely number": logic and communication [chapter]

Johan van Benthem, Zoe Chatzidakis, Peter Koepke, Wolfram Pohlers
Logic Colloquium '02  
Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as logical as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic, leading to new types of question. §1. Logic in a social setting.
doi:10.1017/9781316755723.006 fatcat:j3k6up4tqzgffewmn7qps3w4yi