C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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