Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Proof Theory for Quantified Monotone Modal Logics

Hausdorff Center for Mathematics via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive lecture on proof theory for quantified monotone modal logics presented by Eugenio Orlandelli at the Hausdorff Center for Mathematics. Delve into the first proof-theoretic study of quantified non-normal modal logics, examining labelled sequent calculi for first-order extensions with both free and classical quantification. Investigate the role of Barcan Formulas and discover the structural properties of these calculi, including rule invertibility, height-preserving admissibility of weakening and contraction, and syntactic cut elimination. Learn about the soundness and completeness of the introduced calculi with respect to appropriate classes of neighbourhood frames. Gain insights into the completeness proof, which constructs formal proofs for derivable sequents and countermodels for underivable ones, while providing a semantic proof of cut admissibility. Conclude with a discussion on preliminary results extending this approach to the non-monotonic case, all within the context of the Hausdorff Trimester Program: Types, Sets and Constructions.

Syllabus

Eugenio Orlandelli: Proof theory for quantified monotone modal logics

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Proof Theory for Quantified Monotone Modal Logics

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.