The Russell-Prawitz modality

DOI10.1017/S0960129501003309MaRDI QIDQ2746758zbMATH OpenOpenAlexFDO

Authors Peter Aczel

Publication date 5 July 2002

Published in MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129501003309

zbMATH Keywords

lax modal operatormodalityRussell-Prawitz representation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Logic in Russell's Principles of Mathematics
• Modality and possibility in some intuitionistic modal logics
• scientific article; zbMATH DE number 804143
• scientific article; zbMATH DE number 4016857
• scientific article; zbMATH DE number 3981153

Cited in

(22)

• Mathematical modal logic: A view of its evolution
• A Kuroda-style \(j\)-translation
• The naturality of natural deduction
• A pluralist approach to the formalisation of mathematics
• The Peirce translation
• scientific article; zbMATH DE number 804143 (Why is no real title available?)
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• Constructive modalities with provability smack
• Cardinality reduction theorem for logics QHC and QH4
• A joint logic of problems and propositions
• Kolmogorov's Calculus of Problems and its Legacy
• A Gentzen-style monadic translation of Gödel's system T
• Conservation as translation
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

This page was built for publication: The Russell-Prawitz modality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2746758)