Explicit provability and constructive semantics

By Sergei N. Artëmov. Bulletin of Symbolic Logic, 2001

463 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/64e980f6d82bfcfc29a9ca3314ec1e220ebbd094

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. M. Fitting
2. Patrick Blackburn

In Computational Theory and Mathematics

1. M. Fitting

Citations in the corpus

• The logic of proofs, semantically (2005, background): “Abstract A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge.”