Gamma graph calculi for modal logics

vastutusandmed
Minghui Ma, Ahti-Veikko Pietarinen
allikas
ajakirja aastakäik number kuu
vol. 195, 8
ilmumisaasta
leheküljed
p. 3621–3650 : ill
võtmesõna
gamma graphs
broken-cut operator
ISSN
0039-7857
märkused
Bibliogr. p. 3649-3650
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kvartiil
Q1
keel
inglise
Ma, M., Pietarinen, A.-V. Gamma graph calculi for modal logics // Synthese (2018) vol. 195, 8, p. 3621–3650 : ill. https://doi.org/10.1007/s11229-017-1390-3