scientific article; zbMATH DE number 6863659

MaRDI QIDQ4636049zbMATH OpenFDO

Authors Ori Lahav, João Marcos, Yoni Zohar

Publication date 23 April 2018

Full work available at URL https://arxiv.org/abs/1606.04006

zbMATH Keywords

analyticitysequent systemscut-admissibilitynegative modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Sequent systems for negative modalities
• A Modal Approach to Negation as Failure Rule
• Modal auxiliaries and negation: a type logical account
• Negation in the light of modal logic
• On a strong negation-based representation of modalities
• scientific article; zbMATH DE number 92602
• scientific article; zbMATH DE number 176532
• A modal contrastive logic: The logic of ``but
• Proof-theoretic semantics, a problem with negation and prospects for modality

Cited in

(8)

• Negative modalities in the light of paraconsistency
• Negation in the context of gaggle theory
• A non-deterministic view on non-classical negations
• Negative modalities, consistency and determinedness
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• scientific article; zbMATH DE number 4016862 (Why is no real title available?)
• Expressing Ignorance or Indifference
• Sequent systems for negative modalities

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636049)