The following pages link to Sergey Drobyshevich (Q2027213):
Displaying 16 items.
- (Q695776) (redirect page) (← links)
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777) (← links)
- Finite model property for negative modalities (Q890969) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Some modal operators over intuitionistic logic (Q2356087) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603) (← links)
- On classical behavior of intuitionistic modalities (Q2987729) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- (Q5099999) (← links)
- A bilateral Hilbert-style investigation of 2-intuitionistic logic (Q5213390) (← links)
- Double Negation Operator in Logic N ∗ (Q5741336) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)
