Graphical sequent calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Electronic proceedings in theoretical computer science
2017
/
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