Description

• Title:
  On Displaying Negative Modalities
• Creator:
  Drobyshevich, Sergey
• Description:
  We extend Takuro Onishi’s result on displaying substructural negations by formulating display calculi for non-normal versions of impossibility and unnecessity operators, called regular and co-regular negations, respectively, by Dimiter Vakarelov. We make a number of connections between Onishi’s work and Vakarelov’s study of negation. We also prove a decidability result for our display calculus, which can be naturally extended to obtain decidability results for a large number of display calculi for logics with negative modal operators.
• Dostępność obiektu:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2017.07.28
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Source:
  Logic and Logical Philosophy; Vol. 27 No. 2 (2018): June; 161-192;
  Logic and Logical Philosophy; Tom 27 Nr 2 (2018): June; 161-192;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2017.023/12575
• Subject:
  display calculus;
  bi-intuitionistic logic;
  negative modalities;
  unnecessity;
  impossibility;
  decidability;
  distributive logic;
  03F03;
  03B45
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2017.023
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text