Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Beijing–Moscow Mathematics Colloquium
March 4, 2022 11:00–12:00, Moscow, online
 


Algebraic semantics for modal logic with propositional quantifiers

Yifeng Ding

University of Pekin

Number of views:
This page:163

Abstract: Algebraic semantics for modal logic with propositional quantifiers interpret formulas not just as true or false at some possible states, but directly as elements in a Boolean algebra, understood as an algebra of propositions. This general perspective allows us to study modal logics with propositional quantifiers that standard relational semantics based on states (possible worlds) cannot even define. In this talk, I will showcase the use of algebraic semantics in identifying conceptually significant modal logics with propositional quantifiers and also in proving mathematical/computational properties of such logics.

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024