An Essay in Classical Model [sic] Logic |
Common terms and phrases
assume B₁ binary relation canonical model Chapter class of frames classical logic closed under subformulas completeness results condition consistent COROLLARY definition degenerate denote derivable ends the proof equivalence relation equivalent modulo exists extension of KE4 Filtration Theorem finite model property finitely axiomatizable frame w.d.e. Fundamental Theorem Hence Hintikka schemata implies index frame index logic inference rule integer irreflexive kites Kripke frames Kripke's L₁ last cluster Lemma Lindenbaum's Lemma logically finite m₁ modal axiom modal logic model w.d.e. natural number nondegenerate nondegenerate cluster normal extension normal logic p-morphism precedes succeeds proof of Theorem propositional functions propositional letter prove quasi-normal quasi-normal logic quasi-regular regular logic S4Grz S4Zem schema Scott frames Scroggs set of formulas smallest SOBOCIŃSKI strict partial ordering submodel Suppose Theorem 3.7 transitive frames valid virtually last