Short Introduction to Modal Logic
Center for the Study of Language (CSLI), 1992 - 91 Seiten
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.
Andere Ausgaben - Alle anzeigen
amod applied assignment Assume axioms base bound branch called Chapter classical closed cloth Computer concludes connectives Consider consistent constructed contains contradiction corresponding defined definition denoted depth derivable equivalent exactly Example extend fact false Formal formula frame given Goguen immediate implies indexed formulas indices induction induction hypothesis induction step introduced ISBN John Joseph Language leaf Lecture Notes Lemma letters means modal formula modal logic modal model monadic necessary node objects obtained occurs free operation possible predicate logic present Proof properties propositional prove quantifier reflexive refutation procedure refutation tree relation replacement Report respectively result rules satisfying Semantics sequence Situation stage step subformula substitution system G tautology terminates Theorem Theory tion transitive treated true truth truth-values v(II valid valuation values variable verifying VxP(x