Infinitary Logics
摘要
In this chapter we introduce a formal system that has infinite conjunctions and disjunctions as syntactic operations. We show how the system captures some properties that first-order logic can’t.