On modal logics of partial recursive functions

DOI10.1007/s11225-005-4646-8zbMath1097.03016OpenAlexW1855671606MaRDI QIDQ817692

Pavel Naumov

Publication date: 17 March 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-4646-8

zbMATH Keywords

modal logicrecursive functionCurry-Howard isomorphism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (2)

On Discourses Addressed by Infidel Logicians ⋮ On modal logic of deductive closure

Uses Software

• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• Propositional lax logic
• Logic of subtyping
• Inductive types and type constraints in the second-order lambda calculus
• The algebra of topology
• Functionality in Combinatory Logic
• HYBRID PARTIAL-TOTAL TYPE THEORY
• The combinatory foundations of mathematical logic

This page was built for publication: On modal logics of partial recursive functions