On modal logics of partial recursive functions
From MaRDI portal
Publication:817692
DOI10.1007/S11225-005-4646-8zbMATH Open1097.03016OpenAlexW1855671606MaRDI QIDQ817692FDOQ817692
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
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
Modal logic (including the logic of norms) (03B45) Recursive functions and relations, subrecursive hierarchies (03D20)
Cites Work
- The algebra of topology
- Title not available (Why is that?)
- Propositional lax logic
- HYBRID PARTIAL-TOTAL TYPE THEORY
- Functionality in Combinatory Logic
- Inductive types and type constraints in the second-order lambda calculus
- Logic of subtyping
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
Uses Software
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)
