Modal Logic (Stanford Encyclopedia of Philosophy)

Resource | v1 | created by jjones |
Type Book
Created 2018
Identifier unavailable


A modal is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a judgement. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions ‘it is necessary that’ and ‘it is possible that’. However, the term ‘modal logic’ may be used more broadly for a family of related systems. These include logics for belief, for tense and other temporal expressions, for the deontic (moral) expressions such as ‘it is obligatory that’ and ‘it is permitted that’, and many others. An understanding of modal logic is particularly valuable in the formal analysis of philosophical argument, where expressions from the modal family are both common and confusing. Modal logic also has important applications in computer science.


is about Modal logic

Modal logic is a collection of formal systems originally developed and still widely used to represent...

published by Stanford University

The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an...

is referenced in Intelligent Agents I

The objective of this course is to introduce students to knowledge representation and reasoning metho...

Edit resource New resource

8.0 /10
useless alright awesome
from 1 review
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 5.0 /10
beginner intermediate advanced
Resource clarity 8.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 2.0 /10
none basics intermediate advanced expert
Comments 0
Currently, there aren't any comments.