What people are saying - Write a review
We haven't found any reviews in the usual places.
Primitive symbols and formation rules of PC 4 Inter
The system PM 17 Consistency 19 Completeness
The basic modal notions 22 Systems of modal logic 25
29 other sections not shown
Other editions - View all
accessible to wt assigned atomic formula axiom axiom-schema axiomatic system Barcan formula Boolean algebra Brouwerian calculus Chapter conjunction construct contains decision procedure deductively equivalent defined derive diagram disjunction falsifying finite number give given hence holds inconsistent individual-variable interpretation invalid JSL Vol Kripke L(Lp Lemma Lemmon Lewis and Langford LL(p material implication maximal consistent set MCNF modal logic modal LPC modal operators modal systems Modus Ponens non-modal non-normal world notation obtained PC formulae PC-transform PC-valid player predicate variables primitive proof propositional calculus propositional variable prove quantifier rectangle relation replacing rule of Necessitation S2-model S4 and S5 S4-diagram S5-valid semantics Sobocinski strict implication substitution-instance Syll T-algebra T-diagram T-model T-valid theorem thesis transformation rules true truth-functional uniform substitution valid iff value-assignment vide w^Rwj wff of PC world accessible