• 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 https://www.scopus.com/sourceid/27699 https://www.scopus.com/record/display.uri?eid=2-s2.0-85017091471&origin=inward&txGid=d66d70d9763514ebcc27d57f6332aee7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SYNTHESE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000439480200016
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85018895900&origin=inward&txGid=017e9495e88129b44be81d9119238efe https://www.webofscience.com/wos/woscc/full-record/WOS:000405453900008
• 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