Negation in the light of modal logic

zbMATH Open0974.03019MaRDI QIDQ2715517FDOQ2715517

Kosta Došen

Publication date: 18 December 2001

zbMATH Keywords

framesmodal logicpositive intuitionistic logicimpossibilityminimal negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (29)

• Polarity semantics for negation as a modal operator
• The modal status of antinomies
• Counterpossibles for modal normativists
• Title not available (Why is that?)
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• The Došen square under construction: a tale of four modalities
• Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
• Title not available (Why is that?)
• Subminimal negation
• Negation in the context of gaggle theory
• Title not available (Why is that?)
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• The Non-Boolean Logic of Natural Language Negation
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Popper's Notion of Duality and His Theory of Negations
• Title not available (Why is that?)
• Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computational complexity for bounded distributive lattices with negation
• Title not available (Why is that?)
• Conceptual Structures at Work
• On negation rationality
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• A study of algebraic structures and logics based on categories of rough sets
• Weakening and extending \(\mathbb{Z}\)
• Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
• Intuitionistic propositional logic with Galois negations
• Negation as cancellation, and connexive logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Modal Logic and Negation as Failure 👍 👎
• The logic of conditional negation 👍 👎
• Negation as cancellation, and connexive logic 👍 👎
• Negation and paraconsistent logics 👍 👎
• IF modal logic and classical negation 👍 👎
• Conceptual Structures at Work 👍 👎
• A Modal Approach to Negation as Failure Rule 👍 👎

This page was built for publication: Negation in the light of modal logic

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