## An introduction to modal logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Primitive symbols and formation rules of PC 4 Inter | 11 |

The system PM 17 Consistency 19 Completeness | 19 |

The basic modal notions 22 Systems of modal logic 25 | 25 |

Copyright | |

29 other sections not shown

### Other editions - View all

### Common terms and phrases

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