Opis

• Tytuł:
  Neighbourhood Semantics for Graded Modal Logic
• Twórca:
  Chen, Jinsheng;
  van Ditmarsch, Hans;
  Greco, Giuseppe;
  Tzimoulis, Apostolos
• Współtwórca:
  Chen, Jinsheng - Zhejiang University, Department of Philosophy;
  van Ditmarsch, Hans - LORIA, CNRS, University of Lorraine;
  Greco, Giuseppe - Vrije Universiteit Amsterdam, School of Business and Economics, Ethics, Governance and Society;
  Tzimoulis, Apostolos - Vrije Universiteit Amsterdam, School of Business and Economics, Ethics, Governance and Society;
  Chen, Jinsheng - jinsheng.chen@foxmail.com;
  van Ditmarsch, Hans - hans.van-ditmarsch@loria.fr;
  Greco, Giuseppe - g.greco@uu.nl;
  Tzimoulis, Apostolos - a.tzimoulis@vu.nl
• Opis:
  We 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.11.05;
  2021.07.14
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  50
• Temat i słowa kluczowe:
  Graded modal logic;
  neighbourhood frames;
  bisimulation
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/39689 ;
  2449-836X;
  10.18778/0138-0680.2021.12
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe