Propositional Models
摘要
This chapter develops the semantics of inductive logic. Here, we are concerned only with propositional logic. Much of the work, though, will carry over to the predicate case, which is covered in Chap. 5 .