Short Introduction to Modal Logic
Modal Logic can be characterized as the logic of necessity and possibility, of 'must be' and 'may be'. A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of the subject and provides philosophical motivations to show the point of the formal work. The coverage is self-contained, including a summary of the necessary aspects of classical logic which it presupposes. A set of exercises is included in the final chapter.
Was andere dazu sagen - Rezension schreiben
Es wurden keine Rezensionen gefunden.
Classical Monadic Predicate Logic
The System S5
Andere Ausgaben - Alle anzeigen
analyzed applied axioms bottom node bottom-up branch Brian Cantwell Smith cloth concludes the proof Conference on Formal Consider constructed contains contradiction corresponding CSLI D(p V q defined definition denoted derivable in G disjunct Example false free variables iff V(o implies indexed formulas individual variable induction base induction hypothesis induction step inference rules ISBN John Etchemendy Jon Barwise José Meseguer Joseph Goguen L-set Lauri Karttunen leaf Lecture Notes Lemma modal formula modal logic modal model modal system modal-like formula modus ponens monadic predicate logic negation occurs free P(aco paper possible predicate formulas propositional calculus propositional letters propositional logic propositional rules quantifier reflexive refutation procedure refutation tree relation satisfying assignment Semantics sequence signed formula sound and complete subformula substitution system G T-model tautology Terry Winograd Tº(s total number true truth truth-values V(Do v(II valuation values West Coast Conference