Modal logic

Modal companion

In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic that interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic. (Wikipedia).

Video thumbnail

We Love Opera! What kind of an opera is opera buffa?

A quick definition of "opera buffa." Does it remind you of "buffoon?" Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all about. Opera can be exciting, funny, sa

From playlist Opera Glossary

Video thumbnail

The Glass Batteries That Are More Than Good Enough!

Glass batteries have invaded the news - but what does this latest technological development by John Goodenough and Helena Braga mean? Lithium ion battery technology has remained unchanged over the past 40 years, carrying the same risks of short-circuiting and producing dangerous explosions

From playlist Draw Curiosity

Video thumbnail

Citrix : Web Interface website for the Citrix Access Gateway

More videos like this online at http://www.theurbanpenguin.com Here we take a look at creating a Citrix Web Interface web site to support the Citrix Access Gateway. In doing so we will also look at the importance of backing up the webinterface.conf and using that as a template fro new site

From playlist Citrix

Video thumbnail

Vodafone-Happy to Help Ad (full)

In some very special way I still remain loyal to this brand,yet another spectaculary meaningful ad from O&M..gd going

From playlist Advertisements

Video thumbnail

Daniel Hoffmann, University of Warsaw

May 14, Daniel Hoffmann, University of Warsaw Fields with derivations and action of finite group

From playlist Spring 2021 Online Kolchin Seminar in Differential Algebra

Video thumbnail

Lenovo ThinkPad Tablet Tour

MORE precise. MORE out of your downtime. MORE connectivity. MORE in touch. MORE business ready. The Lenovo ThinkPad Tablet is the perfect PC companion.

From playlist Lenovo: For Those Who Do.

Video thumbnail

Verbs

By the author of 'Mr Bruff's Guide to Grammar': https://www.amazon.co.uk/Bruffs-Guide-Grammar-Kerry-Lewis/dp/1520926693/ref=sr_1_1?dchild=1&keywords=mr+bruff+grammar&qid=1601151876&sr=8-1 or https://mrbruff.com/ How to Spell Verbs: https://youtu.be/AHffVUPzpr8

From playlist Parts of Speech

Video thumbnail

Stereolab - The Super-It

Created with mp32tube.com

From playlist the absolute best of stereolab

Video thumbnail

Lisa Nickerson - Addressing Confounds in Neuroimaging Machine Learning Predictions - IPAM at UCLA

Recorded 13 January 2023. Lisa Nickerson of Harvard Medical School presents "Addressing Confounds in Neuroimaging Machine Learning Predictions" at IPAM's Explainable AI for the Sciences: Towards Novel Insights Workshop. Learn more online at: http://www.ipam.ucla.edu/programs/workshops/expl

From playlist 2023 Explainable AI for the Sciences: Towards Novel Insights

Video thumbnail

[BOURBAKI 2018] 31/03/2018 - 3/3 - Antoine CHAMBERT-LOIR

Antoine CHAMBERT-LOIR — Relations de Hodge–Riemann et matroïdes Les matroïdes finis sont des structures combinatoires qui expriment la notion d’indépendance linéaire. En 1964, G.-C. Rota conjectura que les coefficients du « polynôme caractéristique » d’un matroïde M, polynôme dont les coe

From playlist BOURBAKI - 2018

Video thumbnail

Episode 015: Self-Expansion Your Relationship with Your Computer! Her (2013) with Jeff Bowen

***Originally published on June 8, 2020*** Join Alex and guest host Dr. Jeff Bowen (https://pbs.jhu.edu/directory/jeff-bowen/) in a discussion of the psychological concepts in Her (2013)(https://www.imdb.com/title/tt1798709), another tour de force by Joaquin Phoenix (I suppose this show h

From playlist CinemaPsych Podcast

Video thumbnail

Dueling Excel - "Watch Box in Excel : Podcast 1488

Microsoft Excel Duel In today's Dueling Excel, Episode #1488, Mike "ExcelisFun" Girvin and Bill "MrExcel" Jelen team up to defend Excel's honor, showing two different methods to create a Watch Box in Excel. Dueling Excel Podcast #92...This episode is the video podcast companion to the

From playlist Dueling Excel Podcasts with Bill Jelen and Mike Girvin

Video thumbnail

Formation and evolution of compact binaries (Lecture - 01) by Tomasz Bulik

Summer School on Gravitational-Wave Astronomy DATE: 17 July 2017 to 28 July 2017 VENUE: Madhava Lecture Hall, ICTS Bangalore This school is a part of the annual ICTS summer schools in gravitational wave astronomy. This year’s school will focus on the physics and astrophysics of compact

From playlist Summer School on Gravitational-Wave Astronomy - 2017

Video thumbnail

Machine Reading for Precision Medicine

Presented by: Hoifung Poon - Senior Director of Biomedical NLP at Microsoft The advent of big data promises to revolutionize medicine by making it more personalized and effective, but big data also presents a grand challenge of information overload. For example, tumor sequencing has becom

From playlist Healthcare NLP Summit 2022

Video thumbnail

Art Quiz #5

Art Quiz #5

From playlist Art Quizzes

Video thumbnail

Why AI is Harder Than We Think (Machine Learning Research Paper Explained)

#aiwinter #agi #embodiedcognition The AI community has gone through regular cycles of AI Springs, where rapid progress gave rise to massive overconfidence, high funding, and overpromise, followed by these promises being unfulfilled, subsequently diving into periods of disenfranchisement a

From playlist Papers Explained

Video thumbnail

Guitar and Kazoo

Friend is improvising on a guitar and kazoo at the same time!

From playlist music

Related pages

Infinite descending chain | Inverse function | Monotonic function | Countable set | General frame | Quotient set | Infinite set | C. I. Lewis | Intersection (set theory) | Andrzej Grzegorczyk | Isomorphism | Normal modal logic | Propositional calculus | Complement (set theory) | Kripke semantics | Cardinality of the continuum | Decidability (logic) | Alfred Tarski | Transitive relation | Modal logic | Equivalence class | Preorder | Reflexive relation | Function (mathematics) | Embedding | Propositional variable | Admissible rule | Equivalence relation | Intermediate logic | Complete lattice | Intuitionistic logic | Rule of inference | First-order logic