Topological completeness of the provability logic GLP.

Lev D. Beklemishev David Gabelaia

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

modal logic
automated reasoning
logic programming
topological spaces
proof theory
asynchronous circuits
multiscale
data quality
real time
probability theory
temporal logic
deontic logic
multi valued
spatial relations
connected components
information systems
learning algorithm
genetic algorithm
data sets