Negation as a modality in a quantified setting

DOI10.1093/LOGCOM/EXAB025MaRDI QIDQ3382824zbMATH OpenOpenAlexFDO

Authors S. O. Speranskij

Publication date 22 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab025

zbMATH Keywords

Heyting-Ockham logichypeintuitionistic modal logicsmodal negationquantificationRoutley star

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Negation in the light of modal logic
• scientific article; zbMATH DE number 4061191
• scientific article; zbMATH DE number 4016857
• scientific article; zbMATH DE number 3908413
• scientific article; zbMATH DE number 4016862

Cited in

(9)

• The Došen square under construction: a tale of four modalities
• Sequent calculi for the propositional logic of HYPE
• Expressing Ignorance or Indifference
• Negative Polar Interrogatives and Bias
• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
• Is the HYPE about strength warranted?
• Class theory in HYPE
• Alternative evidence for nonnegativity
• Negation and affirmation: the role of involutive negators

This page was built for publication: Negation as a modality in a quantified setting

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