Graphical sequent calculi for modal logics
vastutusandmed
Minghui Ma, Ahti-Veikko Pietarinen
allikas
Electronic proceedings in theoretical computer science
ajakirja aastakäik number kuu
vol. 243
ilmumisaasta
leheküljed
p. 91-103
märksõna
ISSN
2075-2180
märkused
Bibliogr.: 25 ref
Special issue: Proceedings of the Ninth Workshop on Methods for Modalities : Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017
TTÜ struktuuriüksus
keel
inglise
Ma, M., Pietarinen, A.-V. Graphical sequent calculi for modal logics // Electronic proceedings in theoretical computer science (2017) vol. 243, p. 91-103.