A survey of computability logic.

Giorgi Japaridze

Published in: CoRR (2016)

Keyphrases

modal logic
logic programming
classical logic
image processing
database
information systems
evolutionary algorithm
automated reasoning
predicate logic
artificial intelligence
probabilistic logic
computational properties
epistemic logic
natural deduction
sound and complete axiomatization