Coquitlam Public Library

Modal Logic

Label
Modal Logic
Language
eng
Characteristic
videorecording
Main title
Modal Logic
Oclc number
985768011
resource.otherEventInformation
Originally produced by The Great Courses in 2016
Runtime
31
Summary
Add two new operators to your first-order predicate vocabulary: a symbol for possibility and another for necessity. These allow you to deal with modal concepts, which are contingent or necessary truths. See how philosophers have used modal logic to investigate ethical obligations
Technique
live action
Mapped to

Incoming Resources

  • Has instance
    1