Can I read Uniform Interpolation for Propositional and Modal Team Logics on EtoBox?

Uniform Interpolation for Propositional and Modal Team Logics by D'Agostino, Giovanna is a scholarly article available to read on EtoBox.

What is Uniform Interpolation for Propositional and Modal Team Logics about?

In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of the so called "existential bisimulation quantifiers", where the existence of a certain set is made modulo bisimulation. As a consequence, we prove that these fragments enjoy the Uniform Interpolation Property.

Author

D'Agostino, Giovanna

Published

2018

Language

EN