Bunder, M.W. Rough consequence and other modal logics. Australas. J. Log. 12 (2015), no. 1, 1-10 [Online resource]Chiffi, DanieleMathSciNet : mathematical reviews2016 http://www.ams.org/mathscinet/

Consequences of the modal unification of the functional calling paradigmsEspírito Santo, José; McDermott, Dylan; Pinto, Luís; Uustalu, Tarmo29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts2023 / p. 33-35 https://types2023.webs.upv.es/TYPES2023.pdf

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

Perspectives on clinical possibility : elements of analysisChiffi, Daniele; Zanotti, RenzoJournal of evaluation in clinical practice2016 / p. 509-514 http://dx.doi.org/10.1111/jep.12447