The Russell–Prawitz modality
From MaRDI portal
Publication:2746758
DOI10.1017/S0960129501003309zbMath0988.03033OpenAlexW2079999798MaRDI QIDQ2746758
Publication date: 5 July 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129501003309
Related Items
The naturality of natural deduction, The Peirce translation, Cardinality reduction theorem for logics QHC and QH4, Mathematical modal logic: A view of its evolution, Unnamed Item, A pluralist approach to the formalisation of mathematics, A Kuroda-style \(j\)-translation, Constructive Modalities with Provability Smack