Graphical sequent calculi for modal logics
statement of authorship
Minghui Ma, Ahti-Veikko Pietarinen
source
Electronic proceedings in theoretical computer science
publisher
journal volume number month
vol. 243
year of publication
pages
p. 91-103
conference name, date
Ninth Workshop on Methods for Modalities : Indian Institute of Technology, 8th to 10th January 2017
conference location
Kanpur, India,
subject term
ISSN
2075-2180
notes
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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
WOS
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Ma, M., Pietarinen, A.-V. Graphical sequent calculi for modal logics // Electronic proceedings in theoretical computer science (2017) vol. 243, p. 91-103.