Pages that link to "Item:Q2443327"
From MaRDI portal
The following pages link to The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327):
Displaying 7 items.
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- On a new tentative solution to Fitch's paradox (Q1709125) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
