A topological completeness theorem for transfinite provability logic.

Juan P. Aguilera

Published in: Arch. Math. Log. (2023)

Keyphrases

intuitionistic logic
digital topology
multi valued
artificial intelligence
modal logic
classical logic
asynchronous circuits
database
logic programming
predicate logic
logical framework
dynamic logic
topology preservation
proof theoretic