Trees for modal logics: worked examples | Attic Philosophy

preview_player
Показать описание
Proof trees are a great way to build proofs and test arguments in modal logic. They're also a helpful way to understand the possible world semantics for modal logic. In the previous videos, I showed how proof trees work for basic modal logic, and how to extend them to all the common systems of modal logic. In this video, I’ll look at some example problems and explain how they work.

If there’s a topic you’d like to see covered, leave me a comment below.

Links:

Get in touch on Social media!

#logic #philosophy
  1. Attic Philosophy
Рекомендации по теме
Trees for modal 0:10:54

Trees for modal logics: worked examples | Attic Philosophy

Proof Trees for 0:14:33

Proof Trees for Modal Logic | Attic Philosophy

Modal Logic Tutorial: 0:15:36

Modal Logic Tutorial: how to use Proof Trees in Modal Logic | Attic Philosophy

Proof trees for 0:08:46

Proof trees for different modal logics | Logic tutorial | Attic Philosophy

ModalDecisionTrees: Decision Trees, 0:08:03

ModalDecisionTrees: Decision Trees, Meet Modal Logics | Giovanni P. | JuliaCon 2022

Logic tutorial: how 0:02:54

Logic tutorial: how Trees work in Logic | Attic Philosophy

Symbolic Logic 25: 0:12:57

Symbolic Logic 25: Rules of Inference and Tree Method for Modal Logic

4.5 Intro to 0:19:26

4.5 Intro to Truth Trees

Exercises in COMPLEX 0:11:06

Exercises in COMPLEX TRUTH TREES - Logic

Proof Trees for 0:20:50

Proof Trees for Intuitionistic Logic | Attic Philosophy

Proof Trees for 0:08:31

Proof Trees for First-Order Logic | Worked Examples | Attic Philosophy

Logic tutorial: how 0:11:48

Logic tutorial: how to use proof trees | Attic Philosophy

Practice building logic 0:08:26

Practice building logic trees and hone your skills

How to get 0:11:07

How to get really good at logic | Proof trees | Attic Philosophy

Decision Tree Classification 0:10:33

Decision Tree Classification Clearly Explained!

Propositional Logic Truth 0:14:21

Propositional Logic Truth Trees (and, or, not)

Two exercises in 0:07:04

Two exercises in TRUTH TREES for negation, conjunction, and disjunction - Logic

How to do 0:14:21

How to do Modal Logic | Attic Philosophy

TRUTH TREES for 0:19:47

TRUTH TREES for QUANTIFIERS in Predicate Logic

A Proof Tree 0:17:41

A Proof Tree Builder for Sequent Calculus and Hoare Logic

software proof trees 0:13:20

software proof trees in predicate logic & propositional logic modal logic tree prover make it ea...

Propositional Logic: Truth 0:03:29

Propositional Logic: Truth Trees, Part 8 (Validity, Entailment)

'Tutorial: Non-deterministic semantics 0:15:17

'Tutorial: Non-deterministic semantics for modal logic' by Pawel Pawlowski

Propositional Logic Truth 0:14:47

Propositional Logic Truth Trees Tautologies and Contradictions

Комментарии
Автор

This channel is criminally underrated. Concepts are always explained clearly and simply and videos are broken into nicely sized chunks. Keep it up!

ps if you’re looking for ideas, please could you make some videos about linear logic and the philosophy of intuitionistic logic (in particular why rejecting LEM relates to rejecting platonism)?

edwinagnew