About this document
Modal Logic: Judgments and Propositions by Marcel Kenji Matsunaga Tangaro is a document available to read on EtoBox.
This document provides an introduction to modal logic and outlines the key concepts that will be covered in the course. It discusses: 1) The difference between objective mathematical logic focused on truth values, and philosophical logic which investigates reasoning about more complex judgments involving possibility, necessity, knowledge, belief, etc. 2) How both the objective and subjective views on logic have applications in computer science, with the objective approach used in program logic and the su
- Author
- Marcel Kenji Matsunaga Tangaro
- Language
- EN