Bulletin of the Section of Logic > 2021 > 50 > 3 > 373-395
Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.2021.12 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] L. Aceto, A. Ingolfsdottir, J. Sack, Resource bisimilarity and graded bisimilarity coincide, Information Processing Letters, vol. 111(2) (2010), pp. 68–76, DOI: https://doi.org/10.1016/j.ipl.2010.10.019
-
[2] C. Cerrato, General canonical models for graded normal logics (Graded modalities IV), Studia Logica, vol. 49(2) (1990), pp. 241–252, DOI: https://doi.org/10.1007/BF00935601
-
[3] C. Cerrato, Decidability by filtrations for graded normal logics (graded modalities V), Studia Logica, vol. 53(1) (1994), pp. 61–74, DOI: https://doi.org/10.1007/BF01053022