Room P4.35, Mathematics Building

Alexandre Costa-Leite, Brasília U - Brazil / CLE - UNICAMP - Brazil

Interactive laws and combined concepts

The purpose of this talk is to show how fusions of modal logics extended with interactive laws can be used to model theories containing interactions of modal concepts. In particular, a combined modal logic – with operators to formalize the notions of imagination, conception and possibility simultaneously – is explored and developed.