Videolibrary
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Video Library
Archive
Most viewed videos
Search
RSS
New in collection
The eighth International ñonference "Advances in Modal Logic" (AiML 2010)
August 24, 2010
09:45
, Moscow
Some applications of universal models
Dick de Jongh
Video records:
Windows Media
347.0 Mb
Flash Video
751.9 Mb
MP4
432.1 Mb
Number of views:
This page:
577
Video files:
212
Abstract:
Universal models will be shown to be useful in modal logic to prove results about unifiability and the finite model property, and in intuitionistic logic in the study of Jankov's theorems.
Language:
English
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024