Intensional logics without interative axioms

  title={Intensional logics without interative axioms},
  author={David Lewis},
  journal={J. Philosophical Logic},
It may be that there is no way to axiomatize an intensional logic without recourse to one or more iterative axioms; then I call that logic iterative. But many familiar logics can be axiomatized by means of non-iterative axioms alone; these logics I call non-iterative. A frame, roughly speaking, is a partial interpretation for an intensional language. It provides a set 1, all subsets of which are to be regarded as eligible propositional values or truth sets for formulas. It also provides, for… CONTINUE READING

From This Paper

Topics from this paper.