On displaying negative modalities

Standard

On displaying negative modalities. / Drobyshevich, Sergey.

In: Logic and Logical Philosophy, Vol. 27, No. 2, 06.2018, p. 161-192.

Research output: Contribution to journal › Article › peer-review

Harvard

Drobyshevich, S 2018, 'On displaying negative modalities', Logic and Logical Philosophy, vol. 27, no. 2, pp. 161-192. https://doi.org/10.12775/LLP.2017.023

APA

Drobyshevich, S. (2018). On displaying negative modalities. Logic and Logical Philosophy, 27(2), 161-192. https://doi.org/10.12775/LLP.2017.023

Vancouver

Drobyshevich S. On displaying negative modalities. Logic and Logical Philosophy. 2018 Jun;27(2):161-192. doi: 10.12775/LLP.2017.023

Author

Drobyshevich, Sergey. / On displaying negative modalities. In: Logic and Logical Philosophy. 2018 ; Vol. 27, No. 2. pp. 161-192.

BibTeX

@article{d4ce54a2b0694923ac413550b18c0ed2,

title = "On displaying negative modalities",

abstract = "We extend Takuro Onishi's result on displaying substructural negations by formulating display calculi for non-normal versions of impos- sibility and unnecessity operators, called regular and co-regular negations, respectively, by Dimiter Vakarelov. We make a number of connections be- tween 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.",

keywords = "Bi-intuitionistic logic, Decidability, Display calculus, Distributive logic, Impossibility, Negative modalities, Un-necessity, impossibility, unnecessity, negative modalities, bi-intuitionistic logic, distributive logic, decidability, display calculus",

author = "Sergey Drobyshevich",

year = "2018",

month = jun,

doi = "10.12775/LLP.2017.023",

language = "English",

volume = "27",

pages = "161--192",

journal = "Logic and Logical Philosophy",

issn = "1425-3305",

publisher = "Nicolaus Copernicus University",

number = "2",

}

RIS

TY - JOUR

T1 - On displaying negative modalities

AU - Drobyshevich, Sergey

PY - 2018/6

Y1 - 2018/6

N2 - We extend Takuro Onishi's result on displaying substructural negations by formulating display calculi for non-normal versions of impos- sibility and unnecessity operators, called regular and co-regular negations, respectively, by Dimiter Vakarelov. We make a number of connections be- tween 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.

AB - We extend Takuro Onishi's result on displaying substructural negations by formulating display calculi for non-normal versions of impos- sibility and unnecessity operators, called regular and co-regular negations, respectively, by Dimiter Vakarelov. We make a number of connections be- tween 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.

KW - Bi-intuitionistic logic

KW - Decidability

KW - Display calculus

KW - Distributive logic

KW - Impossibility

KW - Negative modalities

KW - Un-necessity

KW - impossibility

KW - unnecessity

KW - negative modalities

KW - bi-intuitionistic logic

KW - distributive logic

KW - decidability

KW - display calculus

UR - http://www.scopus.com/inward/record.url?scp=85049264706&partnerID=8YFLogxK

U2 - 10.12775/LLP.2017.023

DO - 10.12775/LLP.2017.023

M3 - Article

AN - SCOPUS:85049264706

VL - 27

SP - 161

EP - 192

JO - Logic and Logical Philosophy

JF - Logic and Logical Philosophy

SN - 1425-3305

IS - 2

ER -

ID: 14405899