Non-deterministic Logic of Informal Provability has no Finite Characterization
Work
Year: 2021
Type: article
Author Paweł Pawłowski
Institution Ghent University
Cites: 25
Cited by: 1
Related to: 10
FWCI: 0.111
Citation percentile (by year/subfield): 39.72
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed