The following pages link to (Q3033739):
Displaying 11 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603) (← links)
- On classical behavior of intuitionistic modalities (Q2987729) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Double Negation Operator in Logic N ∗ (Q5741336) (← links)
