On modal logics of partial recursive functions
type: Item
instance of: scholarly article
title: On modal logics of partial recursive functions
zbMATH Open document ID: 1097.03016
author: Pavel Naumov
published in: Studia Logica
publication date: 2006-03-17T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03D20
zbMATH DE Number: 5013028
zbMATH Keywords: modal logic
zbMATH Keywords: recursive function
zbMATH Keywords: Curry-Howard isomorphism
describes a project that uses: Nuprl
MaRDI profile type: Publication
full work available at URL: s11225-005-4646-8
OpenAlex ID: W1855671606
cites work: Q5753923
cites work: Functionality in Combinatory Logic
cites work: The combinatory foundations of mathematical logic
cites work: Propositional lax logic
cites work: Q4783332
cites work: The algebra of topology
cites work: Inductive types and type constraints in the second-order lambda calculus
cites work: Logic of subtyping
cites work: HYBRID PARTIAL-TOTAL TYPE THEORY
DOI: 10.1007/S11225-005-4646-8
Recommended article: Partial Recursive Functions in Higher-Order Logic
Recommended article: Q3691637
Recommended article: Partiality and Recursion in Higher-Order Logic
Recommended article: Q3358718
Recommended article: A modal reduction for partial logic
Recommended article: Q4395141
Recommended article: Modal logics of non-monotone partial predicates
Recommended article: Q3835445
Recommended article: Proof theory for functional modal logic
Recommended article: Modal logic over finite structures
description: scientific article; zbMATH DE number 5013028