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
tema kohta
ISSN
0039-7857
märkused
Bibliogr. p. 3649-3650
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
Uurimisrühm
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