Proof Methods for Modal and Intuitionistic Logics
E504788
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Proof Methods for Modal and Intuitionistic Logics canonical | 1 |
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic textbook ⓘ |
| aim |
to connect semantic and syntactic perspectives in logic
ⓘ
to provide a unified treatment of proof methods ⓘ |
| author | Melvin Fitting NERFINISHED ⓘ |
| coversLogicSystem |
modal system K
ⓘ
modal system S4 ⓘ modal system S5 ⓘ modal system T ⓘ |
| emphasis |
formal derivations
ⓘ
rigorous proof techniques ⓘ |
| field |
intuitionistic logic
ⓘ
mathematical logic ⓘ modal logic ⓘ proof theory ⓘ |
| focus |
relationship between semantics and proof theory
ⓘ
systematic development of proof methods ⓘ |
| genre | academic textbook ⓘ |
| hasLanguage | English ⓘ |
| intendedAudience |
advanced undergraduates
ⓘ
graduate students ⓘ researchers in logic ⓘ |
| relatedTo | Melvin Fitting NERFINISHED ⓘ |
| subjectArea |
non-classical logics
ⓘ
philosophical logic ⓘ theoretical computer science ⓘ |
| teachesSkill |
constructing formal proofs in intuitionistic logic
ⓘ
constructing formal proofs in modal logic ⓘ |
| topic |
Kripke semantics
ⓘ
completeness proofs ⓘ intuitionistic predicate logic ⓘ intuitionistic propositional logic ⓘ natural deduction ⓘ normal modal logics ⓘ proof-theoretic methods ⓘ semantic methods ⓘ sequent calculi ⓘ soundness proofs ⓘ tableau methods ⓘ |
| usesFramework |
Kripke frames
ⓘ
possible worlds semantics ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.