Description

• Title:
  Neighbourhood Semantics for Graded Modal Logic
• Creator:
  Chen, Jinsheng;
  van Ditmarsch, Hans;
  Greco, Giuseppe;
  Tzimoulis, Apostolos
• Contributor:
  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
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.11.05;
  2021.07.14
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  50
• Subject:
  Graded modal logic;
  neighbourhood frames;
  bisimulation
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/39689 ;
  2449-836X;
  10.18778/0138-0680.2021.12
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other