Modal Logic (Stanford Encyclopedia of Philosophy)


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

Description

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.

Relations

about Modal logic

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

referenced in Intelligent Agents I

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

part of Stanford Encyclopedia of Philosophy

The Stanford Encyclopedia of Philosophy organizes scholars from around the world in philosophy and re...


Edit details Edit relations Attach new author Attach new topic Attach 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.