Pages that link to "Item:Q383061"
From MaRDI portal
The following pages link to Does the deduction theorem fail for modal logic? (Q383061):
Displayed 19 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)
- 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)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- (Q5119390) (← links)
- The Context of Inference (Q5208107) (← links)
- Meaning in Use (Q5213613) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)