A new mathematical bridge between logical worlds
Xiaolong Wang investigated the mathematical structures underlying input/output logic. His research builds a strong and systematic bridge between areas of logic that have been studied independently for decades.
Wang builds on insights from Abstract Algebraic Logic and the use of subordination algebras. These algebraic structures function in his research as the semantic environment for conditional obligations and permission systems.
Wang extends the framework of input/output logic in a uniform way to the family of so-called self-extensional logics. This allows concepts such as negative, statically positive, and dynamic permission systems to be refined and generalized.
His research demonstrates that this new approach preserves the original meaning of these systems, while at the same time revealing relationships that remained hidden in the classical setting. In this way, Wang opens up new possibilities for the interpretation and application of these formal frameworks.
More information on the thesis
