Pokaż uproszczony rekord

Neighbourhood Semantics for Graded Modal Logic

dc.contributor.authorChen, Jinsheng
dc.contributor.authorvan Ditmarsch, Hans
dc.contributor.authorGreco, Giuseppe
dc.contributor.authorTzimoulis, Apostolos
dc.date.accessioned2021-11-05T10:31:58Z
dc.date.available2021-11-05T10:31:58Z
dc.date.issued2021-07-14
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/39689
dc.description.abstractWe introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition of graded bisimulation with respect to Kripke frames by modifying the definition of monotonic bisimulation.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;3en
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjectGraded modal logicen
dc.subjectneighbourhood framesen
dc.subjectbisimulationen
dc.titleNeighbourhood Semantics for Graded Modal Logicen
dc.typeOther
dc.page.number373-395
dc.contributor.authorAffiliationChen, Jinsheng - Zhejiang University, Department of Philosophyen
dc.contributor.authorAffiliationvan Ditmarsch, Hans - LORIA, CNRS, University of Lorraineen
dc.contributor.authorAffiliationGreco, Giuseppe - Vrije Universiteit Amsterdam, School of Business and Economics, Ethics, Governance and Societyen
dc.contributor.authorAffiliationTzimoulis, Apostolos - Vrije Universiteit Amsterdam, School of Business and Economics, Ethics, Governance and Societyen
dc.identifier.eissn2449-836X
dc.references[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.019en
dc.references[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/BF00935601en
dc.references[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/BF01053022en
dc.references[4] B. F. Chellas, Modal logic: an introduction, Cambridge University Press (1980).en
dc.references[5] J. Chen, G. Greco, A. Palmigiano, A. Tzimoulis, Non normal logics: semantic analysis and proof theory, [in:] Proc. of WoLLIC, vol. 11541 of LNCS, Springer (2019), pp. 99–118, DOI: https://doi.org/10.1007/978-3-662-59533-6_7en
dc.references[6] F. De Caro, Graded modalities, II (canonical models), Studia Logica, vol. 47(1) (1988), pp. 1–10, DOI: https://doi.org/10.1007/BF00374047en
dc.references[7] M. de Rijke, A note on graded modal logic, Studia Logica, vol. 64(2) (2000), pp. 271–283, DOI: https://doi.org/10.1023/A:1005245900406en
dc.references[8] K. Fine, In so many possible worlds., Notre Dame Journal of formal logic, vol. 13(4) (1972), pp. 516–520, DOI: https://doi.org/10.1305/ndjfl/1093890715en
dc.references[9] L. F. Goble, Grades of modality, Logique et Analyse, vol. 13(51) (1970), pp. 323–334.en
dc.references[10] H. H. Hansen, Monotonic modal logics, ILLC Report Nr: PP-2003-24, University of Amsterdam (2003).en
dc.references[11] D. Kaplan, S5 with multiple possibility, Journal of Symbolic Logic, vol. 35(2) (1970), p. 355, DOI: https://doi.org/10.2307/2270571en
dc.references[12] M. Ma, K. Sano, How to update neighbourhood models, Journal of Logic and Computation, vol. 28(8) (2018), pp. 1781–1804, DOI: https://doi.org/10.1093/logcom/exv026en
dc.references[13] M. Ma, H. van Ditmarsch, Dynamic Graded Epistemic Logic, The Review of Symbolic Logic, vol. 12(4) (2019), pp. 663–684, DOI: https://doi.org/10.1017/S1755020319000285en
dc.references[14] E. Pacuit, Neighborhood semantics for modal logic, Short Textbooks in Logic, Springer (2017), DOI: https://doi.org/10.1007/978-3-319-67149-9en
dc.references[15] W. van der Hoek, On the semantics of graded modalities, Journal of Applied Non-Classical Logics, vol. 2(1) (1992), pp. 81–123.en
dc.references[16] W. van der Hoek, J.-J. C. Meyer, Graded modalities in epistemic logic, [in:] International Symposium on Logical Foundations of Computer Science, Springer (1992), pp. 503–514, DOI: https://doi.org/10.1007/BFb0023902en
dc.contributor.authorEmailChen, Jinsheng - jinsheng.chen@foxmail.com
dc.contributor.authorEmailvan Ditmarsch, Hans - hans.van-ditmarsch@loria.fr
dc.contributor.authorEmailGreco, Giuseppe - g.greco@uu.nl
dc.contributor.authorEmailTzimoulis, Apostolos - a.tzimoulis@vu.nl
dc.identifier.doi10.18778/0138-0680.2021.12
dc.relation.volume50


Pliki tej pozycji

Thumbnail
Nazwa:
8007-Article_Text-26424-2-10-2 ...
Rozmiar:
493.7KB
Format:
PDF
Oglądaj/Otwórz

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

https://creativecommons.org/licenses/by-nc-nd/4.0
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako https://creativecommons.org/licenses/by-nc-nd/4.0