Showing cs.LOShow all
2 papers · 1 filter
cs.LO2002
The prospects for mathematical logic in the twenty-first century
Samuel R. Buss, Alexander S. Kechris, Anand Pillay +1
The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic f…
cs.LO1999
Reasoning About Common Knowledge with Infinitely Many Agents
Joseph Y. Halpern, Richard A. Shore
Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results…