print

Graphical sequent calculi for modal logics

author

Ma, Minghui

Pietarinen, Ahti-Veikko

statement of authorship

Minghui Ma, Ahti-Veikko Pietarinen

source

Electronic proceedings in theoretical computer science

journal volume number month

vol. 243

year of publication

2017

pages

p. 91-103

url

subject term

modaalloogika

graafid

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

TTÜ department

language

inglise