127260

References

Emilio Gómez-Caminero

Modified tableaux for some kinds of multimodal logics

2016

in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer