Non-deterministic Logic of Informal Provability has no Finite Characterization.

Pawel Pawlowski

Published in: J. Log. Lang. Inf. (2021)

Keyphrases

predicate logic
linear temporal logic
informal learning
logic programming
modal logic
classical logic
defeasible logic
proof theory
search engine
multi agent
automated reasoning
logical framework
computational properties
set theory
unit length