On modal logics of partial recursive functions

DOI10.1007/S11225-005-4646-8MaRDI QIDQ817692zbMATH OpenOpenAlexFDO

Authors 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 logicCurry-Howard isomorphismrecursive function

Mathematics Subject Classification ID

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

Recommendations

• Partial Recursive Functions in Higher-Order Logic
• scientific article; zbMATH DE number 3916226
• Partiality and recursion in higher-order logic
• scientific article; zbMATH DE number 4210120
• A modal reduction for partial logic
• scientific article; zbMATH DE number 1163568
• Modal logics of non-monotone partial predicates
• scientific article; zbMATH DE number 4112566
• Proof theory for functional modal logic
• Modal logic over finite structures

Cites work

• scientific article; zbMATH DE number 1841844 (Why is no real title available?)
• scientific article; zbMATH DE number 4189687 (Why is no real title available?)
• Functionality in Combinatory Logic
• HYBRID PARTIAL-TOTAL TYPE THEORY
• Inductive types and type constraints in the second-order lambda calculus
• Logic of subtyping
• Propositional lax logic
• The algebra of topology
• The combinatory foundations of mathematical logic

Cited in

(8)

• Completeness and definability of a modal logic interpreted over iterated strict partial orders
• On modal logic of deductive closure
• scientific article; zbMATH DE number 2242586 (Why is no real title available?)
• scientific article; zbMATH DE number 475184 (Why is no real title available?)
• New representations of modal functions
• Partial and nested recursive function definitions in higher-order logic
• Logical modalities as arithmetical functions
• On Discourses Addressed by Infidel Logicians

Describes a project that uses

Uses Software

• Nuprl

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

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