Pages that link to "Item:Q383061"
From MaRDI portal
The following pages link to Does the deduction theorem fail for modal logic? (Q383061):
Displaying 15 items.
- Roads to necessitarianism (Q830375) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Multimodal incompleteness under weak negations (Q1945703) (← links)
- Basic intuitionistic conditional logic (Q2000668) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
- Is, ought, and cut (Q6166130) (← links)
