Article ID Journal Published Year Pages File Type
4661963 Annals of Pure and Applied Logic 2014 16 Pages PDF
Abstract
This paper is dedicated to Sergei Artemov, an honored colleague and friend, who has made wonderful things for the rest of us to play with.
Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Possible world semantics for first-order logic of proofs
Authors
,