In modal logic, a regular modal logic is a modal logic containing (as axiom or theorem) the duality of the modal operators: and closed under the rule Every normal modal logic is regular, and every regular modal logic is classical. (Wikipedia).
What are Non-Classical logics?
Some of the general classes of non-classical logics I touch in this videos are linear logic, relevant logic, modal logic, many-valued logics, minimal logic, paraconsistent logics and so on and so forth. Let me know if I should dive deeping into a certain scene? https://en.wikipedia.org/wi
From playlist Programming
Modal logic formalization of chess
In this video I explain modal logic using the example of the legal configurations of a board game. Kripke semantic and Kripke frames are discussed. The relation to Temporal and Doxastic logics are motivated. Here's the formal logic text from the video: https://gist.github.com/Nikolaj-K/174
From playlist Logic
Bas Spitters: Modal Dependent Type Theory and the Cubical Model
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: In recent years we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and c
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
Logic for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Axiom of Regularity (Foundation) vs. Induction
Previous video on regularity: https://youtu.be/AqjctCRGxhw Errata: In 56:27 I say Regularity, but I meant to say Replacement. Text and links: https://gist.github.com/Nikolaj-K/bc9f67d685bcc7d1300372cfabceed9b
From playlist Logic
On the Category of hSets - Bas Spitters
On the Category of hSets - Bas Spitters Bas Spitters Radboud University Nijmegen; Member, School of Mathematics April 3, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Compare Linear and Exponential Growth Using Recursive and Explicit Equations
This video explains the different between linear and exponential growth. Both recursive and explicit equations are discussed. Site: http://mathispower4u.com
From playlist Linear, Exponential, and Logistic Growth: Recursive/Explicit
DeepMind Perceiver and Perceiver IO | Paper Explained
👨‍👩‍👧‍👦 JOIN OUR DISCORD COMMUNITY: Discord ► https://discord.gg/peBrCpheKE 📢 SUBSCRIBE TO MY MONTHLY AI NEWSLETTER: Substack ► https://aiepiphany.substack.com/ ❤️ Become The AI Epiphany Patreon ❤️ ► https://www.patreon.com/theaiepiphany In this video I cover: * Perceiver (Perceiver: Ge
From playlist Miscellaneous
Linguistically informed NLP for healthcare experience data | Healthcare NLP Summit 2021
Get your Free Spark NLP and Spark OCR Free Trial: https://www.johnsnowlabs.com/spark-nlp-try-free/ Register for NLP Summit 2021: https://www.nlpsummit.org/2021-events/ Watch all Healthcare NLP Summit 2021 sessions: https://www.nlpsummit.org/ Investigation of attention mechanisms of BER
From playlist Healthcare NLP Summit 2021
The Nature of Causation: The Necessary Connection Analysis
In this third lecture in this series on the nature of causation, Marianne Talbot discusses the necessary connection analysis of causation. We have causal theories of reference, perception, knowledge, content and numerous other things. If it were to turn out that causation doesn’t exist, w
From playlist The Nature of Causation
Learn how to model an exponential function that is compounded continuously
http://www.freemathvideos.com In this video series you will learn the basics of logarithmic and exponential functions. We will start off by converting between exponential and logarithmic expressions. We do this so that we can understand what a logarithm represents. Once we have what a l
From playlist Compound Interest
Panentheism: Is the World in God? | Episode 1211 | Closer To Truth
The search for God leads to strange ideas. Panentheism claims that the world is in God but God is more than the world. Can this new kind of God make sense? Featuring interviews with Philip Clayton, Marcel Sarot, Michael Levine, Yujin Nagasawa, Sarah Coakley, and Alister McGrath. Season 12
From playlist Big Questions About God - Closer To Truth - Core Topic
Every Topic on the Paper 2 GCSE Maths Exam June 2023 | Foundation | Set 1 | Edexcel, AQA, OCR
Join this channel to get access to perks: https://www.youtube.com/channel/UCStPzCGyt5tlwdpDXffobxA/join 🔥 Visit the NEW website here: www.thegcsemathstutor.co.uk 🔥 A video revising the techniques and strategies for all of the fundamental topics on the June 2023 Maths Exam - Paper 2 Found
From playlist Edexcel 2023 GCSE Maths Exam Revision
This video explains the new Neural Game Engine GameGAN from researchers at NVIDIA! This paper uses Deep Learning to store Pacman inside of a learned world model such that you can play the game by sending actions to the generative neural network. This video will describe the problem and how
From playlist Generative Adversarial Networks
Damiano Mazza: Heterodox exponential modalities in linear logic
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Logic and Foundations
Live CEOing Ep 658: Language Design in Wolfram Language [Low Hanging Review]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram
From playlist Behind the Scenes in Real-Life Software Design
PreCalculus - Logarithmic Function (1 of 23) What is an Logarithmic Function?
Visit http://ilectureonline.com for more math and science lectures! In this video I will define and give examples of logarithmic functions. Next video can be seen at: http://youtu.be/uLRiUMyDf64
From playlist Michel van Biezen: PRECALCULUS 1-5 - ALGEBRA REVIEW